introduce-bindings is a fixpoint operation
Fixed several edge cases related to indentation, bullet items, and end-of-block nils.