Rename ModuleType.Ident to ModuleType.Path
Support labels within type declarations
Rename signature path functions for consistency
Rework kind layout to be clearer and more consistent
Add more smart constructors and give them open types
Fix handling of element references
Add predef module to handle built-in types and exceptions
Add support for substitutions in paths and fragments
Adjust the interface for resolving and expanding
Add build rule for test/coverage.ml
Add some difficult cases for resolution to tests
Add reference resolver
Fix lookup of substituted paths
Add some difficult resolution examples to tests