Give the functor for the container's extension
Define GeneralizedMultisetoid in terms of container extension functor