Allow the specification to define data-types that inherit
from each other. This can be done in a fashion very
similar to OMT, IDL, XMI or other standards.
Multiple inheritance should be possible, so that any
arbitarily complex specification is supported. The
specification itself should allow very efficient is-a queries
(this is a representational issue). Taxonomy is
somewhat limited, and may need extending.
All the entities should be gathered globally too, so they
can be processed and generated into code as a batch.
Individual interfaces will be able to import these entities.