impl.TypeImpl(prefix + type.getId()),
impl.TypeImpl(packagePrefix + prefix + type.getId()),
	private void genTomType(Type type) {		if (type instanceof ListType) {			String eltType = ((ListType) type).getElementType();			println(				TypeListTemplate(					impl.TypeName(type.getId()),					impl.TypeImpl(prefix + type.getId()),					impl.TypeGetFunSym("t"),					impl.TypeCmpFunSym("s1", "s2"),					impl.TypeEquals(type.getId(), "t1", "t2"),					impl.ListHead(type.getId()),					impl.ListTail(type.getId()),					impl.ListEmpty(type.getId())));			println();			genTomConcOperator(type, eltType);			String class_name = "class_name";			genTomEmptyOperator(type, class_name);			genTomManyOperator(type, eltType, class_name);			genListTypeTomAltOperators(type);		}		else {			println(				TypeTermTemplate(					impl.TypeName(type.getId()),					impl.TypeImpl(prefix + type.getId()),					impl.TypeGetFunSym("t"),					impl.TypeCmpFunSym("s1", "s2"),					impl.TypeGetSubTerm("t", "n"),					impl.TypeEquals(type.getId(), "t1", "t2")));			println();			genTomAltOperators(type);		}	}