Rolling reduce design doc

This is ready for some preliminary review.