Rule for renamed program

I don't know if we can do this efficiently, but if we could split out a rule for the renamed module like we have for the parsed module, then that might benefit some plugins. In particular, many things that do rewriting of the source want the renamed program (because that really identifies what all the syntax means), but don't need the typechecked program.

Not requiring on typechecking is faster and also means we will get up-to-date results more often (since renaming can succeed even if typechecking fails).

Plugins that seem to only need the renamed source:
- `hls-explicit-record-fields-plugin`
- `hls-overloaded-dot-plugin`
- `hls-retrie-plugin`