It feels like we should at least describe the most salient features of gravity script. Type safety, etc.
