Update Design Document and Implementation.rst