Meta-Circular Abstract Interpretation.

The parity1 domain is not relational :(

\cc @webyrd