Operations on simple non-struct multiplicity maps (aka "multisets", t/1 and t_lax/1).
t/1
t_lax/1
An unordered multiplicitous container type.