blanchet [Mon, 21 Jun 2010 11:15:21 +0200] rev 37476
optimized code generated for datatype cases + more;
more = lazy creation of debugging messages in mono code
+ use of "let" when performing some beta-applications (to avoid exponential blowup)
+ removal of some set constructs, to simplify the code and increase precision in some cases (and decrease it in others, but this can be regained)