Clock++ additions/subtractions

[srfoster]

Implement add++~. Will need to get if-statements into the language at a lower level. Extract from inequalities. Make more basic. Import (or define) at boolean algebra level.