Idea how to infer most custom types without descriptors

[janedbal]

I believe it would be much better to work out of the box even with custom types.

Generating custom descriptors is painful and ensuring descriptors exist is disabled by default (reportUnknownTypes).