tuned signature: more generic operations;

--- a/src/Pure/PIDE/document.scala	Fri Jun 27 14:41:18 2025 +0200
+++ b/src/Pure/PIDE/document.scala	Fri Jun 27 14:44:15 2025 +0200
@@ -818,7 +818,9 @@
   /* model */
 
   trait Session {
+    def session_options: Options
     def resources: Resources
+    def store: Store
   }
 
   trait Model {