first version of the single rule rewrite engine
version doing basic rewriting.
Turned SimpleSigmaDDRewriter to abstract class.
added large numbers test.