Add unary negative (`-`) operator to the prover. #238