Added sig constraints, in constraints and extends constraints to the constraint mapping.
Added sig constraints, in constraints and extends constraints to the constraint mapping.

juodaspaulius/clafer,juodaspaulius/clafer-old-customBNFC,gsdlab/clafer,juodaspaulius/bclafer_old,gsdlab/clafer,juodaspaulius/clafer