String elementName = StringConversions.capitalize(elementType);
String elementName = StringConversions.makeCapitalizedIdentifier(elementType);
	private void genElementAtMethod() {		String elementName = StringConversions.capitalize(elementType);		String converted = getConverter().makeATermToBuiltinConversion(elementType, "elementAt(index)");		println("  public " + elementTypeName + " get" + elementName + "At(int index) {");		println("    return (" + elementTypeName + ") " + converted + ";");		println("  }");		println();	}