Revert "tests/{defn,let}: free tests of successive arith op"

This reverts commit d83ac08d397351de2468e4e989cac2ff1204de8e.