Revised simply typed lambda interpreter.