Exercise (4 stars)

Taking inspiration from the ConstProp module, define a value abstraction
appropriate for parity analysis. Namely, for each variable, we
track whether its value is even, or odd, or its parity is unknown.