Reimplement binder.ts

[Desdaemon]

Pyright has a fairly extensive binder that binds and determines the types of all values within a file. Perhaps it would be useful to learn its layout, and if it's too complicated rebase on top of Pyright instead.

https://github.com/microsoft/pyright/blob/main/packages/pyright-internal/src/analyzer/binder.ts