Shufflings form a deuterorepresentable normal produoidal

• Solved more elegantly here: shuffles are the free physical monoidal multicategory.

Tags: shuffle, shuffling monoidal category, produoidal normalization, shuffling words