Change OpState to be a specified concrete type

[dsherret]

I think we should use a concrete type for the op state. It will eliminate the BTreeMap lookups and Rc clones.

There are cases where we put stuff in and out of the op state, but I think that can be part of the specified concrete type if someone needs that behaviour.