removing ^Ls
If you pass in a primitive function, the type-eval WILL NOT check the right environment, but will return something sensible. NEEDS FIX.
more removals of ^L
Merge branch 'master' of github.com:ahaven/6.945-Project