Comments in ground.rkt
Mostly cosmetic; improvements from yesterday's code review