Add an implementation of bounding variables in "I am not a number: I am a free variable".