changing TypeOf_dec to be sets of triples
complications in T_If...