• Pietro Abate's avatar
    Parse type variables as patterns · 6ee8a6b0
    Pietro Abate authored
    - type variables are now correctly parsed as patterns
      and not as expressions
    - Add a new module Var that contains all the type variables
      related machinery
    - Remove old functions and unit tests about BoolVar of only
      variables, since now variables are always stored associated
      with one or more kinds