Update some comments to explain the possibilities of such code
cleanup
A little progress around the `getting back to the right position` (now
need to understand why some position are the same -> maybe lexical-let
is implicated)