Type caching facility in IR extraction for usage inside Java extraction. Proper handling of functions returning laambdas.