CORE: handle proper scoping rules for identifiers (allow vars and fn params to shadow core functions, no var hoisting).
MISC: add spec for closures.
PARSER: remove unused node types.
PARSER: re-factor and re-organize specs.