Call to annotateTypeLater (formerly typeAnnotate) are remnants of an old method for forcing type annotations to be attributed which has been replaced. As of now, they are redundant and cause invariants to be violated in TypeAnnotate and other codepaths, and therefore should be removed.