Encode data types into AuxAst
Remove Static and Erasure modules
Remove unused optimizations
Restrict core conversion to fresh name supply monad