Split Parser into TypeParser and ExprParser
Add prototype of command support in REPL