Add pretty-printing and fix induced bugs
Add evaluation of terms
Make the parser correctly recognize keywords
Make REPL actually work and fix the stunning bugs