An Interpreter for Extended Lambda Calculus