Constraints in constructive solid geometry