Deprecate the ImpredicativeTypes feature