Punch & Judy, Puppets, Marionettes