Expand documentation for isolation traits

These aren't complete yet; I'm just making this commit to capture the notes we took on a pad when we were discussing these APIs.

Part of #414 (closed).