Num instance exprarr

I added a Num instance for `ExprArr a (Wire b)`. This makes writing expressions to restrict queries much nicer: constants are just number literals, and all numeric operations like (+) lose the dots. I'm a bit scared about what happens when you use other, derived functions using `Num`. Those might introduce quite large expressions, I guess. But I think it's worth it for the numeric literals alone.