Small documentation changes

I'm leaving the Sized kind undocumented since it isn't fully implemented
yet.