Removed the useless NamedVar constructor from the Generic_constraints module.