Port #10277 and #10383: Need to detect ambiguity recursively inside types

[lpw25]

#10277, #10383

From the Changelog:

* #10277, #10383: Need to detect ambiguity recursively inside types to
  guarantee principality (affects only principal mode)
  (Jacques Garrigue, review by Thomas Refis, Leo White and Kate Deplaix)