Errata/E35

Please note that the informal description is intended to be just informal; hence, it never places any restrictions on m, and all such restrictions are formally defined by the grammar. Furthermore, the used notation has the benefit of not duplicating the cardinality information. Finally, note that, if we were to modify this part of the specification, we might need to update many other similar parts as well, which is out of scope of this update.