> I'm sending this to grace-core to keep everyone in the loop, but its really addressed to Tim, Kim, and James, the Type Mavens. I'll have to read & think about this some more, but we should definitely talk about types next week - J