BUGS.

* patch ty2 was released 2006-10-09:

-- see http://caml.inria.fr/pub/ml-archives/caml-list/2006/08/033e1bf470934a2ea02d9c99bd9bd9b6.en.html
- nativeint, int32 and int64 are now correctly handled.
- The Check.check function is exported

* patch ty1 was released the 2005-05-10.
