Composable Types
Type system per-module, define converts from arbitrary other type systems
Optimization
Provide rewrite rules? Would want to control low-level things (e.g. vector bounds-checks) too
Garbage Collection
- Should be possible to "bump allocate"