Minor fix after updating Idris.
Add Game type class.
Add Game GameTree instance.
Add Game Normal instance.
Add move execution.
Minor reorganization.
Move static unit tests to speed up compilation.

Kind of defeats the point, but it was getting really slow...
Add Game Simult instance.