prove another cheat in type_pe_determ_infer_e, and try to progress

stuck not knowing what is supposed to follow from type_e e t1 and type_e
e t2, where t1 and t2 have bool and int in them (at the same place)
respectively...