Improved type-checking for tuple and record selects.
Fix typo in Java destruction code; should fix some recent bug reports of crashes in Java.
New --tear-down-incremental mode, useful for debugging and performance profiling.