discontinued Export.Provider in favour of Export.Context and its derivatives; uniform treatment of all sessions, including Pure;

clarified signature: less redundant -- Sessions.Base_Info already specifies the main session;

tuned signature: more operations;

misc tuning and clarification;

clarified Document.Snapshot.all_exports: refer to material from this (virtual) session; clarified treatment of Session_Context.theory_names, added export_names; clarified treatment of document_snapshot: sites on top of the session_stack;

clarified database query: refer to semantic theories;

clarified signature: more operations;

clarified signature: persistent theory_names in lexical order;

proper session_databases for database_server: need to follow precise session_hierarchy;

redundant;