Lemos, R. M. Tokens, Types, and Nominalism. CRHF 2018, 16, 31-45.