Implement a 'priority select'

## Describe the feature
A 'priority select' is a kind of select where if more than one channel operation can be triggered, the one specified first will be triggered first. Normally, select() triggers operations randomly based if more than one is available.
