Nearly full typing for all BGA and Dojo components and heavy documentation. Detailed yet simple typechecking using expandable types for game states, player actions, notifications, and gamedatas.