AVL: Minor edit

There was a let that was uselessly rec
AVL: Change API not to carry around comparison functions
Merge pull request #3 from nbraud/avl

AVL: Change API (why not, it makes for a usable polymorphic map)