- Added transform tool.

- Added find_equalities algorithm to rewrite tool.