Add copyright notice.
Updated design notes with more on document structure, representations.