Adicionado o sistema de tipos para Minus