Add makeExprArr, unFun.  The former generalises the way we make expression Arrows.
Add signum for ExprArr
Use <<< in preference to .
Update comment on Predicates.hs
Add ExprArr.constantRC
ExprArr: add Num instance.

Makes writing where/restrict expressions much nicer.