Use ThmSetData correctly in translator

[xrchz]

          @myreen claims the translator now does this, although not using ThmSetData correctly (not storing only deltas)

Originally posted by @xrchz in #360 (comment)