Describe how constant folding and i-c-e diagnosing should work.

Unfortunately, we're not here yet, but eventually Expr::isConstantExpr
and friends should go away.

llvm-svn: 59427