Add design doc for substitutions.