- correction of the bug in normalization process for expressions of the form a^x (Ticket #186)

- If a case is not handled, the equation is supposed to be impossible to normalize.
- comments added to describe the normalization process