Added "prog-nonrec-intro".
Removed erroneous "lintProg".