Improved type system.
Improved struct type handling.