I also wonder why no one experimented on exporting the types from jitters and making preliminary type annotations from that information. Sounds very basic when

I also wonder why no one experimented on exporting the types from jitters and making preliminary type annotations from that information. Sounds very basic when I think about it but I have no idea how jitters work so maybe it's just nonsense.