Add an implementation of bounding variables in "Just : don't succ".