SplayTree: refactor the code with lenses.