Subclause 4.5.7.1 says that an extensible type is one that does not have the SEQUENCE or BIND(C) attribute. C436 says that if EXTENDS appears, SEQUENCE shall not appear. I can't find a constraint that says if EXTENDS appears, BIND(C) shall not appear. Is there one? Should there be one?