fixed translate-gamma lemma and added missing cases to translation