Review and document walk_levels and walk_parts

[mmatera]

Looking at the problem about "singletonize" symbols, I hit these two functions that are not documented, and seems to be important in things relating to handling list and in general, nested expressions. In particular, walk_levels uses Expression.position objects which are also not documented and seem to be related to the caching expression mechanism.