Create a serializable interface for a module's type information

Also add a flag to print out top-level types
Begin passing module interfaces when compiling dependencies
Get things in place to pass Prelude interfaces