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