Activate lemma translation in smyth3

The currently deployed version already has this, but it was just a
quick fix that never made it into the repository itself.