Various changes to improve the way in which experiments are performed

* Unfold data structures that are simple structs in the several protocols.
* Solve games using the recursive algorithm.
* Clarify the formulae for the one bit protocol.
* Add new properties for the one bit protocol.