Added psi stubs for potential indexing.
Updated generated files.
Refactored ghc-modi to avoid duplicate error messages.