Implemented an ability to cope with let permuts

See samples/shuffled-let for an example. This equality
can be proved without generalizations now.
Seems to work.