ExprArr: add signum function.
ExprArr: add Num instance.

Makes writing where/restrict expressions much nicer.