updates in QCheck
QCheck.Arbitrary instances for symbols and terms
improvements in QCheck (monadic bind)
bugfix in T.min_var