Core extension family for the inclusion tactic

This file initializes the core family of inclusion and hypothesis extensions which are generally useful and type independent.

opaque Inclusion.coreFamily : InclusionFamily

Initialize the core inclusion family.