Added "let-nonrec-intro".