Metatype Types A concrete or existential metatype in SIL must describe its representation. This can be: @thin, meaning that it requires no storage and thus necessarily represents an exact type (only allowed for concrete metatypes); @thick, meaning th…