FUN: Spies, Puzzle Solvers, and a Century of Crosswords