Added some missing options:
    DropSymbols.
    The scale option of the Normalize statement (and MakeInteger).
    When the second argument of mod_ is one, the function is left untouched.


Now with the scale factor also in MakeInteger


and a few little problems with ^<n>