Rebase

Update 'Identifier Expression' with respect to local variables.
Add new sections on type inference, flow analysis, definite
assignment, promotion. Change variable terminology to say
'bound to' consistently (not 'store'). Update 'Local Variable
Declaration'. Update 'Assignment' with respect to local
variables.

Author: eernstg