Fix 'make validate'
Coq's lightweight/safer proof checker coqchk is not very robust. When running make validate, it complains that there are files from separate folders with same name. This occurs because Coq uses file names as module names. So far, I've used only the normal compiler (coqc) to check the proofs.