FEITO: verificação de tipos nos parâmetros de funções