We should be able to automatically catch things like this:
A.type = 4
A.type != 4
Right now, we'll catch them in certain instances, but not when constraints are inherited from automorphisms (see #118). Getting smarter about this will likely improve runtime considerably.