Migrate the remaining parts of the exposed API to `GhcMod a`

This is only a fist pass. GHCModi still needs some TLC.