fix top-level names for subpackages when using default pkg
more specific messages in annotation tests (type tests really)
fix some redundant boolean logic
Make metamodel available at runtime (again) for #196
Work on #196 - Encode more metamodel info for runtime
Add reference to module metamodel definition to declarations #196