Small comment for clarity
Now preserving length and offset information for bound variables and functions in all cases.