Initial code
Implemented evaluation with renaming

Fixing the many hlint errors.

Implemented renaming of assertions
Removing debugging code