Strategically rotherbegr et al. need elaboration

[felixpernegger]

P69, P70, P72, P151, P152, P161 all do not contain what the property actually means in their description. They all link to papers, which mostly do not contain a short, self-contained description of the properties.

This makes assigning spaces traits if they have the property or not rather exhausting, furthermore just refering to outside sources is not very consistent with the rest of pi-base (P91, S147, S148 have similar issues).

So a description in pibase of those game-theoretic properties would be very useful.

(@StevenClontz since I think you wrote most of this)