fix Nim game spec
add derived fn all-scores for Game