Text this: La teoría de tipos lógicos como austeridad ontológica