Emitting type and name information for use with IDE-like features

I’ve recently come across Haskell’s HIE files, which stores information about types and names in source files. Currently, PureScript’s language server uses externs files to provide type information, with modules being loaded live in-memory. I think it’d be pretty nice to see something similar appear in the PureScript compiler, such that IDE-like features for lower-spec machines is much more accessible.