Optimal implicit dictionaries over unbounded universes