let pand t1 t2 = match t1,t2 with PTrue,t | t,PTrue -> t | PFalse,_ | _,PFalse -> PFalse | _,_ -> PAnd(t1,t2)