Whoops, that's what I get for prettying things up after copy and pasting. Thanks for pointing that out. As for the double underscore being reserved for impleme

Whoops, that's what I get for prettying things up after copy and pasting. Thanks for pointing that out. As for the double underscore being reserved for implementation use, this was in fact part of the compiler (well, runtime in this case) implementation, again a side-effect of copy and paste.