Correct mistakes in the ConstructibleSet( I, J ) method, where I is an ideal and J a list of polynomials

The method used to incorrectly set the defining ideal.

The method also used to test for IsEmpty, which is automatically set by
the _ConstructibleSet function.
Correct the ConstructibleSet( X, J ) constructor, where X is an affine set and J is a list of polynomials.

The method used to use QuasiAffineSet, while ConstructibleSet is correct.
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.
Merge pull request #6 from brain0/working

Working