New Perspectives on type identity