Easy things to code in Mathomatic that seem like good ideas:

Make limit command copy to a new equation.

Add fractional integration to integrate command.

Add "combine variable" command that combines all stored equations and solves
for the specified variable.  First, the equation containing the variable must
be found and made the current equation.  If there is more than one equation
with the variable, abort.  Then something similar to a repeated "eliminate all"
is done with the equation.  Lastly, solve for the variable and display.
