Simplifying Progresses within MVars as ProgVars