Taba Typing and Doc Copying