Added a few small sections to design doc