This adds initial support for three new types of transactions:
(a and b)
(a or b)
(a and b) or c

Does this mean dispute mediation (2-of-3) will not be supported? I thought the plan was also to allow CHECKMULTISIG for smallish numbers of keys.