e2.5b: incomplete but as balanced as possible binary trees with sharing