Automatic generation of runtime types from type definitions.