Compiling E: Updated variable-cases page

[Mark S. Miller]

I will shortly be sending out a number of email messages on compiling E at 
approximately an ENative or Python level of ambition.  The two targets I 
have in mind are C++ (as in ENative itself) and JVM bytecodes.  Most of the 
upcoming email will relate to the early phases of compilation, which can be 
implemented by source-to-source transformations, and which should be 
reasonably independent of the target we're compiling to.  I'll also be 
posting some suggested changes to the definition of Kernel-E motivated by 
compilation issues.

For concreteness, and to use a context in which efficiency implications can 
be clear, I will explain primarily in terms of the ENative/C++ 
implementation. For a start, I've updated the "Compiling Variables" page 
http://www.erights.org/enative/varcases.html of ENative substantially.  If 
ENative had made any sense to you, you should be able to follow the updated 
page as well.  It'll be good background for the upcoming discussion.  More 
explanation and background coming soon...


         Cheers,
         --MarkM