starting to test the rule based translator by writing rules to bring an expression to a standart form suitable for further manipulation (e.g Expand to polynomial normal form in the simple case)