Use c-command to resolve binding

[lynn]

Right now I process bindings in a very "programming-language-y" manner:

• When entering a clause, I push a new "scope" to a stack, which is like a dictionary from names to X-bar node locations.
• When analyzing a DP like sa poq at location L, I store “poq → L” and “ho → L” in the top scope.
• When analyzing a DP like hó, I look up the name ho in the stack of scopes and find L.
  • If I don't find any result, I treat póq as ke poq. I do nothing special for hó (maybe I should error).
• When exiting a clause, I pop the stack of scopes, preventing donkey anaphora.

We had a conversation about resolving bindings purely by looking at the QPs in the tree (and that this might even allow cataphora).