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.
Verifica se a atribuição é possível comparando os tipos do objeto
e da left expression bem como verificando se esta também é filha da
classe representada por classeCast.