- changed scope annotations to loc type
- added visitor that propagates @decl values to @scope annotations of children
- simplified Uses and Aliases to use @scope annotations
- added some extractions for variable uses and aliases