Type.Variant uses a path.
Converted Elaborator to use Type.Path.
Elaborator works for test01.
Meta and Elaborate now properly handle primitives.
Cleanup of Meta.
Meta is updated except for convertTerm.
Midway through finishing Meta.
Meta and Elaborator work for some syntax.
Close to getting the IO module in the language compiling again.
The IO module in the language is working again.
Bug fixes.
Bug fixes in Meta.
Bug fixes in Elaborator.
Not quite correct interpreter.
The interpreter is working.
Interpreter is simplified.
Some experiments in fixing up Elaborator.
Syntax changed to support applicative modules.
Type checker updated for new syntax.
Token parser updated to the new syntax.