Split untyped lambda grammar and interpreter.
Added Lambda repl skeleton.
Convert back and forth from De Bruijn and explicit variables.
Working untyped lambda calculus repl (watch out for infinite loops!).
Clean up imports in untyped lambda files.