TypeCache improvements where fallback types are now cached as well