Indicating undefined instances in protocols
Adding left rotation case for small trees in map/set (l + r < 2)
Intersection, difference, and union operations for map/set