ELTYPE extractor and caching