Clean up test code
Get rid of rewriting

To much memory usage
Clean up
Remove coq code

To out dated
More work on tests
Refactoring
Derive show

For copy-pasting expressions into ghci
Tweak arbitrary instance
Misc clean up
Try to improve tests