A term-graph syntax for algebras over multisets