Add constant folding to the doc.