let tand t1 t2 =
  match t1,t2 with
      TTrue,t | t,TTrue -> t
    | TFalse,_ | _,TFalse -> TFalse
    | _,_ -> TAnd(t1,t2)