I'm thinking that for importing code that defines its external symbols as foo:this, foo:that, and foo:tother, there should be a type of import clause that strips a specified prefix from imported symbols. This is equivalent to renaming on import or renaming on export, but less painful, in the same way as the prefix import clause does.
Specific proposal: (strip-prefix <import-set> <prefix-identifier>).
Technically, nothing is necessary except rename and either only or exclude. I'm fine with drop instead of strip.
We voted no.
I agree that this is useful, though I wonder if we should consider it necessary for WG1? I would go for drop-prefix instead of strip, since I think is sounds less aggressive, but other than that either WG2, at least, or WG1, maybe, should have this.