funsets initial commit
implement singleton
implement union
implement intersect
implement diff
add more tests
implement filter
implement forall
implement exists
implement map
fix forall