adicionadoo typecheck (c/ problemas)
alteracoes typecheck