Ready to branch; 1. Updated Design Doc; 2. Added ``make test4'' script to Makefile