Would we get ourselves into any trouble if we required that const
operations on vector and list also be supported? What about the same
question for other standard containers and strings?

I think currently vector::size() is not allowed in transactions. My goal
would be to fix that along with as many similar anomalies as possible.

Hans