~thon/thon

Use List in datatype example
Some excerpts on datatypes
note on datatypes
Revert "Fix"

This reverts commit 6b703e40af6cf5c5a855a4e217e91c9fd252fa4b.
Precautionary comment
Build map over types and use it to erase names for type equality
Push use type variable name in setDeBruijinInType; flesh out example
Update README
Update README
Test setget example
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
Next