11.1: s/smallstep/smallstepo/ to match Coq source

[andres-erbsen]

https://github.com/achlipala/frap/blob/master/TypesAndMutation.v#L117 allows new/read/overwrite inside contexts, but in the book the corresponding arrows were missing _0.