Move my function for fiddling with existentials, mnUtils.EXIN_CONJ_CONV into
the Conv structure under new name EXISTS_AND_REORDER_CONV, and provide
documentation for it. The mnUtils implementation now points back to
the new code (though the behaviour is not identical). Eventually, I think
mnUtils is destined for the bin.