Grothendieck (grothendieck v0.1.0)

Root namespace for the grothendieck package.

The package is intentionally small at 0.1.0; public APIs should live under this namespace as they become stable.