Added sugar for funciton application, some comments, examples.

A mechanism to freshen variables is needed. It should be enough to make
all the variable names unique each time a rule is applied.
Literals begining with question mark can now also be created.