Add some notes describing the `S` and `B` kinds.
Add some notes describing the `S` and `B` kinds.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang