I think I introduced that assertion because the code to print `~fn()` isn't there anymore and you don't want to hide a "many proc".
Type-checking/inference can possibly still mix `UniqTraitStore` with `Many`, it could use more special cases.