separate preference ordering from precedence ordering #10

Closed niblyx-malnus closed 1 year ago