Move my "bracket abstraction" code for making lambda-terms 'variable
free' into a separate file so that I can use it in my (slowly
developing) theory of steps...