Added predicate to check for new type of manipulation designator: constraint-designators.
Merge pull request #1 from airballking/master

Introducing new types of action designators: Constraint designators