Fixed compilation & execution for variables.
Merge branch 'master' of github.com:mathijsb/tpt-verified-compiler

Conflicts:
	project.agda