progress feedback in REPL and a Lambda Calculus program beginning