When is a variable bound or free in a lambda application?
wrong in assuming that bound and free are full complements


Yes. Each occurrence of a variable is either bound or free, but not both. But a variable is considered free if it has any free occurrences, and it's bound if it has any bound occurrences; it can be both at once.