[funsets] Add filter
[funsets] Add forall
[funsets] Add exists and map