add much more of built in env - everything from type-env.rkt, with types on _most_ things (major exception are functions and methods on moorings libs)