Fix a bug in Rich language simplification

Sometimes functions look like this
f = \ xs -> let g = K[g] in g,
then we simply replace it to f = \ xs -> K[f xs]

The bug was it was replaced to f = K[f xs].
Fixed by adding the lambda.