Implement `OpTree` nodes. Compilable but still tests are failed
Implement `zeroOrMore`
Implement `optional`
Implement `oneOrMore`
Fix `optional` to be algebraic
Simplify sugared expressions
Implement `not-predicate` (`!`)
Implement `and-predicate` (`&`)