Fixing the build.xml file.
Removing extra constructor.
Reviewing the vernacular.

Ready to implement Coq specific code.