Env: remove cache management
Env: check cache consistency & delegate caching to Cmi_cache
Env: make terminology match 4.01

reset_missing_cmis --> reset_cache_toplevel