Change MINUS (-) to always be a binop to allow semantics to be much
easier