Remove 'priority' type---not necessary.
Remove unused distinguished types.