Add more explanations of for expression desugaring