Current limitations of CML2

There are no composition operators for string types. (These would be trivial to implement, but are not yet needed.)

The compiler objects to uses of question symbols in a visibility-guard expression for a symbol occuring before the associated question (in preorder). This could be supported, but such forward declarations make it hard to reason about valid configurations.