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.