Optimize Coverage.postRead()
Raise exceptions on unimplemented T2CharString operators