So what we need is semi-pure functions that can see all the globals as const data, or in other terms having no side effect but which can be affected by their environment. Another function qualifier, isn't it great! :-)
Yeah, I meant which functions to allow among the functions types we already have. To introduce another function type *just to allow contracts to call them* is insanity.
-Steve