A few random fixes.

* give `ManyErrors` a useful stack,
* implement `IN` and `NOT IN` (two new integration tests), and
* fix the `NumericUnary` untyper (new compiler test and pending (#351)
  planner test).