Initial commit
Type inference
parser fix
Convert let*s to nested lets
Tor takes a list of types
Fix ANF transform
Annotation of trees
Add blame and cause label to conditional types
Reify checks and assign blame
Move check stuff to Check.hs
Generate #t where one side does not perform any checks
Move checks up; initial commit
Use lenses
Nicer syntax for primitive functions
Use simplifyC in check generation
Add runner script
Add canonical test example
Source labels start at 1000
Re-use definition label for references
Implement _1 and _2 for pair