Rudimentary support for parsing definitive identifiers on modules.
Rephrase comment.
Rudimentary support for imports. Ignored in sema.
Rephrase comment.
Allow including source filename in auto-generated header.
First step towards better constraints handling.
Breaking change: Now adds a Type object to the sema model, and constraints
live on Type instead of SimpleType.