Pagès, J. Identity of Types and Truthmakers. CRHF 2019, 33, 63-84.