if you instantiated a module twice and passed values from one instantiation to the other, would you expect that to count as a boundary crossing?

Certainly you could implement those things, and there are dynamic contract boundaries — units and classes and objects are all examples

Also higher order functions, of course