Subtyping implemented in TypeType and others. I guess at some stage someone needs to add calls to Type.subtype in all the right places to finalise it, but this is not urgent. :-)