[dfmc-modeling] Disable ambiguous generic warnings for ^subtype?, ^known...

...-disjoint?.

This work was originally done by gsb in 1998 but not enabled entirely.