Clean up: moving formalizations into “syntax” folder (closes #70). Agda files are generated in “generated” dir.