experimenting with different representations
uniquify, but *much* shorter!
uniquify and revert
reduce
renaming
smart con for Case
add data decls
ParamsFT => TeleFT
parsing and sugaring
we don't need name anymore
pretty
type checking
stubst to tycheck decls
general monad classes
better monad tyclasses
REPL stubs
habemus REPL