Same record fields as type pool, but with a different set base

of_pool pool transforms pool into a prioritized pool of operations of low priority.

merge_external_operations ?initial_priority pool extern_ops creates a prioritized pool from a pool and extern_ops coming from an external source, which we prioritize.

Priorities for these operations is given according to the order of the list. The first element of the list has highest priority.