A former world pun champion's funny, erudite, and provocative exploration of puns, the people who make them, and this derided wordplay's remarkable impact on history.