shouldn't that be done with combinations of factory_of and scalar_of?
what's the advantage of the new rebind system instead of what we currently have?