Reworked browse API, add env_at heuristic
Uniformize representation of position

Use (fake) Lexing.position everywhere