Add more ConstructibleSet constructors.

Add constructors that accept lists of HomalgRingElement, or a constructible
set and a list of HomalgRingElement.

The latter is useful to define a subset of a given constructible set by
specifying additional equations and inequations.