let brackets_and_stars_var_type_typ =  function 
  | Cv x -> brackets_and_stars_typ x.vtype
  | Lv lv ->  brackets_and_stars_lv_typ lv.lv_type 
  | Prop -> 0