profunctors 4.2 and contravariant 1.1
Unpackspec pc boilerplate
ExprArr: add Num instance.

Makes writing where/restrict expressions much nicer.