clarified signature: more uniform treatment of cache for Export.read_session vs. Export.read_theory;