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.