Refactoring continues:
Removed operations on objects from the Constraint_generators module.
Unified and cleaned up the Constraint_generators and Constraint_of modules.