Improve expansion.
Types.
Simplify backend.
Expand modules as expressions.
Code state using an existential variable.
Emit fields.
Good emission of get and set.