Now transformations may be bool functions
Triggers, rewriting rules, anyId

Now we have a trigger system. From the user's point of view
this means that we can specify rewriting rules/lemmas.
Doesn't work very well yet, specifying generalizations
is not enough to solve some difficult examples for some reason.

Also added anyId transformation which propagates commutativity.