Added a file with supplemental elementary operators.
Updated primitive simplification patterns.
Fixed duplication in pattern-matcher setting.
Added derivative operator.