Added forgotten case for nf (Lam _)