impl.TypeImpl(type.getId()),
impl.TypeImpl(prefix + type.getId()),
	private void genTomType(Type type) {		println(			TypeTermTemplate(		impl.TypeName(type.getId()),		impl.TypeImpl(type.getId()),		impl.TypeGetFunSym("t"),		impl.TypeCmpFunSym("s1", "s2"),		impl.TypeGetSubTerm("t", "n"),		impl.TypeEquals(type.getId(),"t1", "t2"))			);		println();		genTomAltOperators(type);	}