Formulate T-multisetoid s.t. T is container; add symmetry

TODO: give the functor for container extension once and for all
TODO: give the list container and its monad
Add kit I'll need later for giving the list container