In the talk at the CG Meeting the idea of ⛄-bindings was proposed, with the intention being that it was a new as-yet-unnamed thing.
What should we name it? We need to name the proposal itself, the new types we're specifying, the operators the convert to+from wasm types and ⛄ types, and the set of values that can produce. A reasonable naming scheme fits the pattern of x-bindings, x-types, x-operators, and x-values.
One option is to call the proposal wasm-bindings, and then have binding-types, binding-operators, and binding-values. A problem here is that referring to "binding" is ambiguous, the term isn't precise enough to disambiguate from a binding expression, to the stubs an engine would generate between modules, to the verb of the act of binding itself. This proposal is potentially very abstract, and having concrete names for the components of it should facilitate discussion.
An idea that @lukewagner came up with offline was "WebAssembly External Bindings" for the proposal itself. This implies "external binding [types|operators|values]". This is precise, but verbose. For ease of communication, I think we can abbreviate that in most contexts to EBTypes, EBOperators, and EBValues.
Are there naming considerations I'm missing? Wildly better naming ideas?