Type_identity_theory loading ...