Since I don't see what stands for expanded types and BIT, there are empty locations in the list of known types. BIT has to be fixed when there is a convention for namespaces. For the same reason, CHARACTER and WIDE_CHARACTER are equivalent.
Didn't find how to implement generic_dynamic_type.
Field_offset is pretty random, just as bit_size and physical_size ^.^
compiler_version has to be built-in, just as it is in normal Eiffel.