Need to enhance the syntactic side of `TreeCompositionSystem`s so that things like QR can actually be implemented.
Need to enhance the syntactic side of
TreeCompositionSystems so that things like QR can actually be implemented.