Type.Identities: some more identities