A couple of smaples
Generate readable function names; unshare trans

- Generate readable names for functions (to dump graph as code).
- Added a generalizing transformation called "unshare".
  It slices off variable duplication like this:
  f(x,x) -> let z = x; y = x in f(z,y)
  It is necessary because letUp cannot lift up variables
  (because lets which bind variables are automatically
  transformed into renamings)
- Added a test suite for the eqprover. Doesn't pass even-double
  due to some bug (which doesn't turn up if you don't enable
  integrity check though).