Merge pull request #54 from silkapp/contravariant-profunctors

profunctors 4.2 and contravariant 1.1
TODO that we can remove our use of reflection
Remove empty module
Unpackspec pc boilerplate
ExprArr: add Num instance.

Makes writing where/restrict expressions much nicer.