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))))
Import "factor" (now a macro) from Syntax
Silence 2 warnings
Add normalization using Expect interpretation