Verifica se a declaração está bem tipada, ou seja, se a
expressão de inicialização está bem tipada, e cria o mapeamento da variavel
para o seu tipo correspondente
Realiza a verificacao de tipos desta chamada de procedimento, onde os
tipos dos parametros formais devem ser iguais aos tipos dos parametros
reais na ordem em que se apresentam.
Realiza a verificacao de tipos desta chamada de procedimento, onde
os tipos dos parametros formais devem ser iguais aos tipos dos
parametros reais na ordem em que se apresentam.