Priority refining

Various modifications for improving the description of the priority mechanism.