Adding unary + and -
Moving satisfy.
Adding eof parser to make sure the whole input is processed.
Implementing modulo % operator.