- General improvements to Inox stability
- Removed subtyping in the type system to improve soundness of first-class function handling
- Added powerful simplifiers and tree transformers to improve performance on complex formulas
- Improved and clarified purity and termination assumptions/requirements