map destructuring
Mu subtyping
rid variance field on variables
rec subtyping tests
clean up
start trans-dots
Can instantiate map with (tc (inst map Number Integer Float))
Fixed map
Fix ann
Generalize fn> to multiple methods
Type check example namespace
tests for heterogeneous map and rec
a few cases for matching relation
Constraint gen work
collect frees, some constraint gen
constraint gen translation
Attempt at defonce'd defrecords. Seems to work
work on apply
Print user provided free variable names when printing All's
add return type for expressions