exprIsHNF should "look through" lets