Added `MakeOr` and `MakeAnd` instances for `False`.
This improves iFrame
behavior when False
appears, and will also be useful for the validity simplification machinery in !930.
Some proof scripts might break, since some calls to iRight
/iLeft
are no longer necessary. I think this should be easy enough to fix.