Fix bug in handle propagation analysis.
Add a more sensible default kind analysis env.

If we know which file the node is in (and we do for all parsed nodes),
then incorporate that implicitly instead of forcing the caller to
construct the correct environment.