Add explanations of how for expression desugaring works