Implement builtins
Implement the "if" statement
Implement the "while" statement
Refactoring: DRY wrapper nodes
Refactoring: DRY statement nodes