Add initial module support

Author: saulshanabrook

docs/changelog.md

@@ -12,6 +12,8 @@ _This project uses semantic versioning. Before 1.0.0, this means that every brea
   - Added `Vec` sort
   - Added support for variable args for builtin functions, to use in creation of `Vec` and `Set` sorts.
 - Switch generated egg names to use `.` as seperate (i.e. `Math.__add__`) instead of `_` (i.e. `Math___add__`)
+- Adds support for modules to define functions/sorts/rules without executing them, for reuse in other modules
+  - Moved simplifying and running rulesets to the `run` and `simplify` methods on the `EGraph` from those methods on the `Ruleset` since we can now create `Rulset`s for modules which don't have an EGraph attached and can't be run
 
 ## 0.4.0 (2023-05-03)
 

python/egglog/bindings.pyi

@@ -214,6 +214,7 @@ class ExtractReport:
 ##
 # Schedules
 ##
+
 @final
 class Saturate:
     schedule: _Schedule