Sums in dynare code & variables t+1

Sorry, but I am not familiar with that model. But generally, you have to write the infinite sums recursively/find a state variable that captures them. See [Finite and infinite sums)
I don’t know if that is even possible in Cochrane’s model