Update VERSION and CHANGES
Compatibility with 4.00
Minor cleanup
Experimental and minimal support for GADT.
Small refactoring in syntax/base.ml
Allows extension of the predefined instances.