change monadic_calculator rule to exe.