}
this.converter = conv; }
	public TypeConverter(TypeConversions conv) {		reservedTypes = new HashMap();		reservedTypes.put("int", conv.getIntegerType());		reservedTypes.put("real", conv.getRealType());		reservedTypes.put("str", conv.getStringType());		reservedTypes.put("term", conv.getTermType());		reservedTypes.put("list", conv.getListType());	}