Include equation-separating semi in rollback; add Module to cabal.