Operator support

Considering that the parser can already handle operators, even if we decide to omit them in the formalization, we could still support them in the implementation.