return StringConversions.makeIdentifier(converter.getType(type));
String res = StringConversions.makeIdentifier(converter.getType(type)); if(res.equals("ATerm")) { res = "aterm." + res;
    public static String className(String type) {    	return StringConversions.makeIdentifier(converter.getType(type));    }