Implement generic function type syntax in the analyzer

[floitschG]

This is the analyzer-implementation issue for #27527.

At the moment we only really need the new syntax in typedefs. Eventually, we want to make this syntax usable for fields and locals, but it's not yet as high a priority. If you find the time to make it work there too, please guard it behind a (different) flag.

[mit-mit]

Moving to 1.22 for implementation, informal spec i linked from the meta-issue #27527

[kevmoo]

@bwilkerson is cranking on it

[jmesserly]

@bwilkerson I'm happy to take a look at continuing this one through resolution (I noticed you already landed the parser/AST support?)