removeAll works
Union works
Inter works
Diff works
equal and subset work

now to go back and get the self-balancing part (UGHHHHHHH)