added more policy checker templates

 - previously, there was only a traits structure for binary template constraints
 - if the implementer of a new policy class wants to add custom constraints between a number of policies, he/she now finds already the most general templates which can be specialized