See again [this comment](https://github.com/JuliaReach/MathematicalSystems.jl/issues/41). **Proposal.** Add `project(set::AbstractSet, variables)` to project onto variables which is a subset of `space_variables(set)`. Depends on #8.