Currently my reading of the rules is that during an instantiate instruction, and additionally during a creation of bag-of-exports, arguments with names like [method]foo.bar are validated to ensure that the first argument is (param "self" (borrow $foo)) for some $foo defined somewhere as an import/export. Should this validation be happening though? Is it instead intended that only exports/imports of a component itself get this validation?

Although as I write this down I see that bag-of-exports probably still needs at least some validation (perhaps related to #183 as well), but at least for instantiation arguments it seems like the validation may wish to be relaxed (to avoid requiring the same named resources on both ends perhaps)