Alignment with ConstraintSystem refactoring on GingerLib:
Removed the ConstraintSystem defined in this repo and use only the one defined in Ginger. Specific function that were present in were kept as single out-of-the box functions;
Updated code and interfaces to the new namings and calls defined in GingerLib after the refactoring
Alignment with ConstraintSystem refactoring on GingerLib: