Teoria_dos_tipos loading ...