Gentype: handle null/nullable/undefined from Stdlib

[cknitt]

No description provided.

[cristianoc]

This looks great.
Before merging, or perhaps after: we should settle on where these types exist.

Having them exist in 3 or 4 places is an opportunity for issues down the line in tooling (editor, hovering) and compiler updates.

What's the ground truth here?
I guess for each type, we should have a preferred way of expressing that type, at least.
Ideally, a unique way, but that seems difficult to achieve while maintaining backwards compatibility.

Thoughts @zth ?

[cknitt]

What's the ground truth here? I guess for each type, we should have a preferred way of expressing that type, at least. Ideally, a unique way, but that seems difficult to achieve while maintaining backwards compatibility.

If we follow my current approach in #7129, the ground truth would be in the CoreTypes module.
Directly in Pervasives won't work because of circular dependency issues.

In any case, we still have to be able to handle the different aliases.

[cknitt]

Will keep this open until #7129 is done, as we'll run into the same issue with any other types we alias in Pervasives (e.g. date).

[github-actions]

⚠️ Performance Alert ⚠️

Possible performance regression was detected for benchmark 'Syntax Benchmarks'.
Benchmark result of this commit is worse than the previous benchmark result exceeding threshold 1.05.

Benchmark suite	Current: d270512	Previous: 80744a5	Ratio
Print HeroGraphic.res - time/run	13.609067813333333 ms	12.308145193333333 ms	1.11

This comment was automatically generated by workflow using github-action-benchmark.

[cknitt]

Rebased after #7285, please re-review.