adds monophiers in GHC.Real, GHC.Classes
unpackCString, unpackCStringUtf8
showList
GHC.Tuple.(,)
showTyConApp
Fixes environment of Case statements; Binds alternative free variables when matched (tests DataConstructors.reflect1)