Add scratch file to .gitignore.
Add two-dimensional matrices.
Variable renamings to avoid confusing Idris.
Simpler and safer matrix-based normal form games.