Extensions of Std/system in the Kestrel Books.
These extensions could be moved under std/system at some point.