fix annotated name validation rules in Binary.md

[lukewagner]

This PR addresses #183 by clarifying that the resource names must occur in the same scope. It also fixes an omission by mentioning imports.