User's Guide: "AllowAmbiguousTypes" and "RankNTypes" extensions incompatibility

Add the mention that extensions "AllowAmbiguousTypes" and "RankNTypes" are not compatible with each other and a small example.

Without this mention, one may try to use both extensions and get confusing ambiguity-related errors.