Add elimination of set variables

[mforets]

See again this comment.

Proposal. Add eliminate(set::AbstractSet, variables) same as project(set, setminus(space_variables(set), variables)).

Depends on #8. May be better to do #9 first.