Add help commands
Added quit command and use StateT.
A few comments.
Don't special case `let` in the commands.
Handle lets properly
Rename binder -> let.