Added explanatory text for desugaring of left-hand side projections.