Removed type variable from Expr. Now Typechecks! Program is still parameterized.