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.
Use optcomp to preserve compatibility with ocaml-3.12
Keep syntax/{defs,base}.mli compatible with previous versions.
Avoid some warnings in the generated code.
Update README/CHANGES/VERSION
Rename into deriving
Merge pull request #8 from hnrgrgr/rename

Rename into deriving
class Default

merge
typo