Example: using SOS and priority

Illustrates how to integrate priority orders with a special ordered set.