TypesTree order fixing