move equiv_bool_equiv_bool_bool to types/Bool

The comments say that it was in `Misc` because "we can't depend on EquivalenceVarieties in types/Bool", but I don't see why not.  types/Universe also depends on EquivalenceVarieties.
Shouldn't this comment go away?