Adding sugaring for lists.
Tuples and products added.
Equality, inequality and environment extension notation done.
Cleaning up the code to reflect the manual.
PP working ann basic gallina fully represented.
Fixing the build.xml file.
Removing extra constructor.
Reviewing the vernacular.

Ready to implement Coq specific code.