Packing and unpacking of structures and unions.
Give views an identity.
Give structured types an identity.
More work on view stub generation.
Extend registry to structured types.
Stub generation tests.
Register the string view in the registry.
Add support for generating signatures for ML wrappers. (TODO: split).
Prettier printing of generated ML: omit parentheses in type expressions where possible.
Prettier printing of generated ML: omit parentheses in expressions where possible.
Omit casts where possible in generated C.
More casts omitted (look through views)
Note a TODO regarding managed blocks.