- Add for loops & iterators
- Add union types (e.g. so can have optional variables be null type or real type)
- Sema pass would add casts needed at compile time to do type checking
- Fix up imports
- Implement bytecode compiler
- JIT (LLVM?) or AOT (C transpilation?)