Am I right in thinking that if the five-dimension theory of functions is true, that the differences between types are so severe as to be completely irreconciliable in some cases? If that's the case (and it seems a dubious proposition), then I would argue that it's all but useless to know about.

Alternatively... we could try to match up Bukalov's "dimension speak" with common sense understanding, which should be possible because it is supposedly the underlying dynamic beneath common sense....