Fix Bags

[vikraman]

• SymmAction (n , v) (m , w) = Σ[ σ ∈ Fin n ≃ Fin m ] v ≡ w ∘ σ .fst: σ needs to be truncated
• Use the QFreeMon interface, using the action as the permutation relation, to show that it's free