Splits evalExp into more modules when looking for library functions (variables, primitive-acting mostly). Adds L.C.I.GHC.Num and L.C.I.Apply and L.C.I.IntegerExpressions
Instances polymorphic sum to monomorphic sum
Instances polymorphic sum to monomorphic sum