WIP approxS
WIP: lazify doesn't workgit add examples_types/Lazify.hsgit add examples_types/Lazify.hs
WIP: FINISH IT
WIP: ugh
Added freshList to Fresh.hs
updated cabal file
Added lambdaLift to imports
WIP
approxS on Cases now works
Saner creation of prototype contexts