more examples in QCheck;
changed the interface of QCheck.Arbitrary.fix so that it
can use several instances of itself (build trees)