Added ListHom, proof of monoid structure induced by list homomorphisms