println("  public " + elementTypeName + " getHead() {"); println("    return (" + elementTypeName + ") getFirst();"); println("  }"); println(); }
println("  public " + elementTypeName + " getHead() {"); String convertedValue = getConverter().makeATermToBuiltinConversion(elementType, "getFirst()"); println("    return (" + elementTypeName + ")" + convertedValue + ";"); println("  }"); println(); }
	protected void genGetHead() {		println("  public " + elementTypeName + " getHead() {");		println("    return (" + elementTypeName + ") getFirst();");		println("  }");		println();	}