SI-7234 Making named args play nice with dep. method types.

Some care is needed to avoid interaction with constant
types (e.g pos/z1730.scala) and with existentials
(e.g. t3507-old.scala).

Review by @lrtyz