Added Monoid instance for Program.