I have a set of puppets. A king, queen, jester, cop, devil,and a crock. Anybody know what they are?

The cop the devil and the crock are the opponents Mr. Punch faces in the second half of the traditional Punch and Judy stories -- having thrown the baby out the window and battered at least Judy and sometimes his neighbor to death he then batters the cop to death, is either led away by the devil or batters him and in other variants (they sometimes but don't always appear in the same version of the play) is then eaten by the crocodile. Who the King Queen and Jester are I don't know.