Well I have to admit that after looking it up, punning includes polysemy ("The King is not a subject") as well as near-homonymy ("Oh, the huge manatee!.")