wip: strengthen requirements for partially ordered append lemma.
wip: strengthen requirements for partially ordered append lemma.

fmrl/flutterbye,fmrl/tesseract,fmrl/monarch,fmrl/flutterbye,fmrl/bdbdbdbd