Forward and Backward Dynamics in implicitly deﬁned Overl apping Generations Models