read and added TODOs referring to the problems faced in the naive Minimum.v
Fixed bug in join, now adds one to the tree height