“type system” is another name for Superfamily.