We could enforce appropriateness in a typed feature setting, for example, by expressing further regular constraints over paths.
many diagram classes require greater than context free power for their adequate description.