trying to figure out how to recover names
Add files needed to typecheck units, the typed unit macro is still buggy
Idea for trampoline style typed unit macro
rewritten trampoline style unit macro
Unit typechecking almost works, some issue with ids not being free-identifier=?
add unit-literals
more experimnents with free-identifier=?
try to track types with a syntax property dictionary
More work on units