100% finished (super-supertypes also added)