Improve occurrence typing on Listof types#15

takikawa wants to merge 5 commits intoracket:masterracket/typed-racket:masterfrom

takikawa:pr14947takikawa/typed-racket:pr14947Copy head branch name to clipboard