Tratado o Assignop
Adicionada verificação de tipos para os argumentos de procedures