Predicate signature shouldContainType

Holds if the exported model should preserve all paths leading to an instance of type, including partial ones. It does not need to be closed transitively, ModelExport will extend this to include type models from which type can be derived.