Ok hope it doesn't delete things up
Type Check for basic elements implemented lacking auxiliary functions.
=Refactor of type check.
Now, includes gama manipulation functions poor implementation.
Verificador de tipos de l1 em testes.
Testes feitos, captura de exceções no retrieve_type.