Fix fold so it uses findIdT
Add let-intro-unfolding