Support multi-member annotations.

What I meant is `EmptyContext` (with its `createSubcontext()` could be moved out of `src/test` and used in `Writeables`.