Cleanup

Removed lots of unused old theories/proofs originally made for testing purposes, as well as Test.hs which was also used for testing while I wrote my thesis, but I don't think it's needed anymore (There are also better ways to test stuff).

Restructured the examples folder into valid examples and issues to be fixed. Need to relink the corresponding issues in gitlab there.