Constructs a new concept type definition using the differentia graph
and the concept in that graph that acts as a formal parameter for
this definition.
Class which may be queried to verify that specific, independant
extensions to the API are available and also to activate or deactivate
any extended features.