Support occurrence typing on private fields
Forgot this file

(fixup into the commit that added contracted extra-env-lang
 identifiers for racket/draw)