empty
FiniteSubstitutionSpace
Kinding
Taxonomy
enrichTaxonomyWithTargets
HasPriorJob
InhabitationBatchJob
enumerationMap
TreeGrammarEnumeration
equalsWithSubtypeEqualityIn
Tree
evalInhabitant
ReflectedRepository