Update documentation

Update README to reflect recent changes; update proposal to reflect
conversations.