Cleanup, commenting, trivial renaming
commenting
bump up limit on monomorphization
working...
working
checkpoint
got env working...
tidy
macro env mechanism in place but unused