Support for subtraction
Implement the = function
Implement cond expressions