Could you / we also fix the comments at the top of Simplify.hs? I think a reasonable end state would be to mention only additional invariants not captured by the IR parameters, and fix references to PrimHof (since it no longer exists).
My follow-up change will capture ~all the invariants in the IR parameters, at which point we can delete the entire comment. In the meantime. Let's not worry about carefully updating the comment to reflect the temporary intermediate state before then.
My follow-up change will capture ~all the invariants in the IR parameters, at which point we can delete the entire comment. In the meantime. Let's not worry about carefully updating the comment to reflect the temporary intermediate state before then.