verificação de tipos em escopos diferentes

consertar comando "para", ainda apresenta defeito quanto a escopo...