Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-12-22 18:00:56 -0800 (Thu, 22 Dec 2005)
Revision: 8347
Log message:

      - Changing the exception handling in "expand" - now it will no longer give up
        expanding on non-RefinerError exceptions (unless OCAMLRUNPARAM=b is being
        used).
      
      - Improving the sqsimple resource; adding the BTerm type to it
      
      - Removing the sqsimple/sqsimple_type distinction (so now there is only the
        sqsimple{'T} predicate, which implies type{'T}).