minor update of Leftistheap
functional SplayTree as Maps