Add REPL
Support Pi binder syntax and function application in parser