Did some little changes and added some comments to generic_constraints.mli.