Monadic Symbolic Calculator