- warn about uninitialized variables
- tuple member access expressions
- tuple extract in assignments
- pass by value (pointers?)?
- map type
- code formatting utility
- IR?
- JSCodegen map support
- variable zero values
- interfaces containing other interfaces
- templated string literals
- type assertion
- closures and escape analysis
- implicit returns
- ARC
- Make JSCodegen fake "heap" allocation to an global object to better test closures, arc and stack escape.
- make macros hygienic
- make variadic arguments work (required for INLINE_JS and other compiler instructions)
- import and export statements
- JSCodegen numbertypes?
- Proper extern support
- LLVM codegen
- VM?