Boa parte da verificacao de tipos feita.