Defines the level 2 language for data models that have been checked for consitency, and have been processed for general data modelling concerns without regard to specific code generation.
Indicates that named type in the model have been reference checked to enusure that they name something that actually exists.
Some summary information of what they refer to is also cached during ref checking.
The L2 model