- Support for weird architectures
- Potential for diverse double compiling
- Better crystallization of the language spec.