Missing from previous commit: Datastructures, parsing, printing.
Automated testing and documentation generation.
Sort inference. Global value constructor environment. Tuple parsing fixes.