- 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