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.