I think that the concepts of subtypes are disputable since I don't understand why 4 functions have to be strengthed together.

But I do find the existence of subtypes since I notice some people with a less-developped creative function (eg. ILE with weak Ti)