I just committed Milena's work on compile-time type checking. Based on what happened last time I made changes to the compile-time anity checking, there will be some things you do or thought you could do in your programs that will now not work. When you discover such, file a bug or post to this list. --