Init: identical to bST_3.hs, but is (sloppily) balanced