There are a few places in the codebase where we document our custom types. We should have a way to document them and use them in other symbols' docs.