Add an implementation of bounding variables in "Succ the whole thing".