Add a defsimple macro to abstract defining operations

This macro also allows the program to untie simple operations from their
internal function names.
Add more tests for simplifying functions