Add a method to create set of spaces

[daemontus]

Right now, we can make a symbolic set which contains a single space, but we can't create a set of spaces based on the provided restriction.