A proposal called LAMBDA-FORM is already on the table to address the issue you raise. I'll forward you a copy. If you find there are issues which your proposal raises which were not in mine, maybe we can do some merging...