Elaborate on SECD exercises
More exercises
Cleaned up Main.agda
Merge branch 'EJCP' into EJCP-solutions

Conflicts:
	exercises/Main.agda