Turn factor into a mere macro in terms of superpose
Define erfFunc_ for Sample interpretation
Add "testSS" combinator for testing result of simplify

*Tests.RoundTrip> runTestTT (test (testSS [t1] (factor (1/2))))