TyCon -> DataCon; acknowledgeVdefgWithin
Move most of Interpreter.hs to Evaluable.hs
Lambda abstraction now passes a heap reference  for the abstracted variable to the expression
newtype Pointer, new instances for Evaluable: Pointer, Thunk, HeapAddress