clarify mixed order markup: https://github.com/metanorma/metanorma-is…#747