add one more instance of numeric fixed priority that assigns higher priority

This MR creates one more instance of numeric fixed priority where higher values indicate lower priority. Since this is a commonly used convention when assigning priorities, this should be included in Prosa.

Thank you, looks good!

resolved all threads

added 1 commit

• 90b0aac8 - add comments and make instance local

Compare with previous version

added 3 commits

• 4899db3d - make naming consistent and fix comments
• 7024d7b7 - add one more instance of numeric fixed priority that assigns higher priority...
• bc17fc18 - tweak comments

Compare with previous version

added 1 commit

• fa41e214 - add alternate interpretation of numeric priorities

Compare with previous version

enabled an automatic merge when the pipeline for fa41e214 succeeds

merged