update documentation: more explanations about local scope and referential transparency