~thon/thon

Deprecate debruijin indexes in type literals
Impl annotates with full existential type
setDeBruijnIndexInType for impl type annotation
Add expMap function (wonder if it'll be useful)
Function application associativity is wrong
Use the nicer syntax
Lower Type.Plus precedence; parse `data eq` tyrec
Add no-op elaboration
Give `use` a type variable to bind in the client's scope
Use `fun` syntax in bst and collatz
Add recursive func syntax `fun f : typ = ... in ...`
Refactor raw A.Typ equality into typeEq function
Ok inserting Z into empty bst gives singleton bst
Find parse errors fn
Ok, think I have a bst insert function
Next