Expressions ifNull, Cond, and Not

This is a bundle of three expressions.  CondExpression could use some eyes on the c++. I thought a verify() on the c++ side was wrong.