bootstrap/ast: Simplify typecheck caching (not scope dependent)
bootstrap/ast: Simplify typecheck caching (not scope dependent)

With the current design, where generic typedefs are fully instantiated
(via deep copy), typecheck caching is not scope dependent.

nanocritical/n,nanocritical/n,nanocritical/n,nanocritical/n