Add AST and parser rules for do-expressions
Add crappy typecheck rules for do-expressions