still not entirely content with my definition of "in"; it should imply equality between two elements, and not the holding of a predicate P.

Signed-off-by: Pepijn Kokke <pepijn.kokke@gmail.com>