Give `ManyErrors` a useful stack.
Implement `IN` and `NOT IN`.
Fix the NumericUnary untyper.

Previously always required `Dec`, but now accepts `Numeric` and
generates the parameter type appropriately.

Added a test for this in the compiler that passes, and an equivalent
test in the planner that is pending #351.