Add docs-in-module
The new <docs> record is how we can pass around information associated with a
particular symbol. It stores the symbol, module, and documentation right now,
but could be extended later.
docs-in-module will let us grab a list of <doc> from a specified module.