No extends of error state machines.
Simplified type mappings and transformations. Eliminated element rules,
just type and type products.