Revised: Added TotalEq/TotalOrd/Clone functionality and related tests to B-tree

After the debacle that was the previous PR, I decided to close and start again.  This adds TotalEq, TotalOrd, and Clone to each part of the btree structure.  r? @catamorphism