"l.getFirst()", "l.getNext()", "l.isEmpty()"));
impl.ATermListGetFirst("l"), impl.ATermListGetNext("l"), impl.ATermListIsEmpty("l")));
	private void genTomBuiltinTypes() {		println(			TypeTermTemplate(				impl.StringName(),				impl.StringImpl(),				impl.StringGetFunSym("t"),				impl.StringCmpFunSym("s1", "s2"),				impl.StringGetSubTerm("t", "n"),				impl.StringEquals("t1", "t2")));		println();		println(			TypeTermTemplate(				impl.IntegerName(),				impl.IntegerImpl(),				impl.IntegerGetFunSym("t"),				impl.IntegerCmpFunSym("s1", "s2"),				impl.IntegerGetSubTerm("t", "n"),				impl.IntegerEquals("t1", "t2")));		println();		println(			TypeTermTemplate(				impl.DoubleName(),				impl.DoubleImpl(),				impl.DoubleGetFunSym("t"),				impl.DoubleCmpFunSym("s1", "s2"),				impl.DoubleGetSubTerm("t", "n"),				impl.DoubleEquals("t1", "t2")));		println();		println(			TypeTermTemplate(				impl.ATermName(),				impl.ATermImpl(),				impl.ATermGetFunSym("t"),				impl.ATermCmpFunSym("s1", "s2"),				impl.ATermGetSubTerm("t", "n"),				impl.ATermEquals("t1", "t2")));		println();		println(			TypeListTemplate(				impl.ATermListName(),				impl.ATermListImpl(),				impl.ATermListGetFunSym("t"),				impl.ATermListCmpFunSym("s1", "s2"),				impl.ATermListEquals("t1", "t2"),				"l.getFirst()",				"l.getNext()",				"l.isEmpty()"));		println();	}