Start System Fw from scratch
Add typechecking to System Fw
Add support for executing statements
Execute statements from files and then from REPL
Simplify naming
Add pretty-printing and fix induced bugs
Add evaluation of terms
Make the parser correctly recognize keywords
Make REPL actually work and fix the stunning bugs
Retain the context from file up to the first error
Add some more tests.
Add type ascription and fix two nasty bugs
Add records
Add simple explicit subtyping (casting)
Add variants and fix a hard-to-believe bug
Add value top bindings
Add let term
Add integers
Move base types and values aside
Add floats