Evan Simpson wrote: [snip] > I still like the Sparrow/SPython concept, too <wink>. That was Swallow, as in African or European swallows. :) And that doesn't do any analysis, it basically declares *all* types exhaustively anywhere and restricts the heck out of what is allowed. All for OPT, of course. :) Regards, Martijn