Make representation more functional?
Support for multiple attributes of values, instead of everything being type.
SSA
Explicit memory-state objects for side-effects?