Adds GHC.Tuple, GHC.Types; leaves pretty printing in an OK state. We need to monomophy polymorphic type parameters in a type constructor
InterpreterSettings: replaces individual implicit parameters with one of type InterpreterSettings
Binds vbind of Case and makes a evalExp of Case work