Here is an idea that bears both on the proposal for casual languages and domains for alternate instruction sets. In both cases we want something like a domain which can obey languages other than the native instruction set. We want something like a domain so that all of the good things that pertain to domains will pertain to objects whose behavior is defined in these other languages.

The idea is almost too simple to warrant a note but it did not come to me immediately. It may not be the best idea.