putting in the AST the types from the cache ...