New syntax for component constraints

• unify the syntax of component functional constraints with the one of interface specs
• allow replies and notifications to have guards