Parser-Evaluator-of-the-Simply-Typed-Lambda-Calculus