Text this: Uma abordagem sobre a concepção de proposição da teoria institucionalista de tipos