Migrating to the new coq syntax and jar file. Something stops me from compiling properly now, however.