Generate TypeLookup in inference phase and pass to code generation