SICP 2.63 - 2.65: Sets as binary trees