Explain how we will change the Wire type if we make pure expressions
Implement orderBy.
Unpackspec pc boilerplate
ExprArr: add Num instance.

Makes writing where/restrict expressions much nicer.
cast