Better type resolution from cache