I think we should be very careful about declarations which can pertain to more than one entity with the same name. Nick's proposal that all declaration are pervasive brings out this problem in spades. I think it is dangerous, since a declaration could easily tell a lie about one or the other of the two entities. - Paul ------