Let casesimpl generate non-recursive lets.