The main thing we’d need is a concrete proposed change to the spec, so we know exactly what is being proposed. Before we incorporate the change into the spec, ideally there should also be an implementation in at least one type checker.
@thejcannon, there are a few unresolved comments in the PR. Could you please address those? Once they’re resolved, we can formally incorporate the change into the spec.
I will work on augmenting the conformance test to cover this new functionality.
Thanks Josh for driving this effort! And thanks to everyone else who contributed feedback and suggestions along the way.