Make `if` statement syntax consistent
Clean up node-repl
Typecheck `with` expressions