Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-07-11 15:56:18 -0700 (Mon, 11 Jul 2005)
Revision: 7578
Log message:

      Yesterday I added two new position kinds indexed by integers to support multiple modalities.
      I decided to merge them with old Var, NewVar and Const kinds to keep number of cases
      in matches under control.
      Non-modal uses of those kinds use index 0.
      For modal cases 0 means J-modality which implies all other modalities.
      

Changes	Path
+6 -6	metaprl/refiner/reflib/jall.ml
+47 -60	metaprl/refiner/reflib/jordering.ml
+20 -8	metaprl/refiner/reflib/jtunify.ml
+3 -5	metaprl/refiner/reflib/jtypes.ml