Add one_of.hh

Allows what is basically an X == tuple(Y, Z, W) that maps to
  X == Y || X == Z || X == W.

This isn't really useful unless you're comparing values and don't care
about having short-circuiting calls as part of a logical expression.