Automatic generation of runtime types from type definitions
