Added text for sections on desugaring records, corecords, and right-hand sides.