Add (currently unused) helper routine for skolemizing bound regions.
Centralize on using `Binder` to introduce new binding levels, rather
than having FnSig carry an implicit binding level.  This means that we
be more typesafe in general, since things that instantiate bound
regions can drop the Binder to reflect that.