Updated Design Doc

Ready for PRETTY