I’ve seen him discuss additions to the static typing features.