Fixed fresh and format-fresh.

They were producing unbound identifiers that were unique with respect
to bound-identifier=?, but not with respect to fresh-identifier=?.