Inferência de tipos e iks_type em nodos da ast.
Inferência de tipos e iks_type em nodos da ast.