Allow cross-tyvar defaulting proposals from plugins
As described in #23832 (closed), we can make defaulting plugins much more powerful by allowing "entangled" defaulting proposals, i.e. proposals for multiple type variables that can't be decomposed into orthogonal single-variable proposals.