Separate exceptions from constructors and support section labels
Add equations for module substitutions
Remove unnecessary signatures

Remove unnecessary signatures on inclusion, substitution and inheritance
Fix some incorrect type definitions
Support anonymous type parameters
Digests on imports are optional