Also adds an integration test designed to break if upstream types change in a manner incompatible with docs.