added ability to define variables and the operations: limit, dsolve