Manually update OptimalString

To use the output of autolifter (with some modifications so that it compiles
properly).
Generated COptimalString optimization