Make DEFTYPE work for real, not just make believe.
Fix REPL propagation of evaluation environment.