Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-09-29 08:23:04 -0700 (Thu, 29 Sep 2005)
Revision: 7802
Log message:

      Implemented the type-sensitive interpretation of binding contexts. Now 
      
      arg{| <H> >- 'C |}
      
      that is currently parsed as
      
      arg{| <H<||>[]> >- 'C<|H|>[] |}
      
      will get parsed as
      
      arg{| <H<||>[]> >- 'C<||>[] |}
      
      (i.e. 'C no longer depends on H) when arg is declared as
      
      declare sequent [arg] { Ignore : ... >- ...} : ...
      `