Finished ImmutableBST