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 (closed).
Some proof scripts might break, since some calls to iRight/iLeft are no longer necessary. I think this should be easy enough to fix.