Verificação tipo Retorna, Operações q faltava e atribuição aumentada