OQueue implementation type erasure is ad-hoc

The type erasure approach in the new OQueue implementation is neither the clearest nor the most efficient. It needs to be thought through to strike a good balance between easy to understand and fast. Currently, I think it fails on both count. It is inconsistent, and it introduces extract layers of indirection in some cases.