pangur-and-grim-an overview of Grim’s hat modeling