OntologyType

Meta-meta package contains instruments to define meta level of ontology.

For instance here we define type classes that allows us to use arbitrary types as property identifiers.