miscellaneous work, mostly zippers for red-black trees