added the a match-expander for constants, the sum rule and the constant division rule.
moved the rackunit require into the submodules. added the power rule and the quotient rule
realized that some of the derivative tests could be simplified so I created a module to handle numeric and symbolic simplifications