- Added support for library modules.
- Added support for evaluator functions.
- Added support for constraint comprehension.
- Added support for conditional constraints.
- Refactored parser to make it more robust and provide better error reporting.
- Fixed grammar ambiguities.
- Added initial implementation of Miden assembly backend.