lib: set: Add "filter" function for sets.

Can be more efficient than "Symset.dest x |> filter |> Symset.make"
because we know that the ordering is unmodified by filter.

autocorres: Move generic "set.ML" to "lib/" directory.