Adding Eq to SplayMap instead of SplaySet