hi there! I was looking at the notes of the typing summit and saw the call to action to write a spec for subtyping. I've done some work on record and function subtyping for Numba and I'm very interested in the topic. I'd love to join whatever work might be going on for subtyping. Cheers, Luk ps: is Kevin Millikin on this list?