updated (but not yet finished) design docs