Define variance type for determining polarity.

This is the beginnings of a 2-SAT formulation. Thankfully, it's in P.