Proposal summarizing implicit resource binding requirements

[bogner]

We need to document the problem space for implicit resource bindings. Specifically, we need to discuss how resource usage is determined, how unused resources are culled, and what information will be needed at various points in the compiler.