A retract of a finitely generated free monoid is free even though submonoids need not be free. I don't know about the infinitely generated case.