resolve: revamp already-bound check -- fix some bugs.
resolve: revamp already-bound check -- fix some bugs.

graydon/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust