Mahmood-
> Sorry, I forgot about the difference between programmer and type
> system designer. I cannot think of a single case where the programmer
> explicitly write the annotation. That's why I wanted the explicit
> bottom qualifier to be a package scope annotation.
OK, that sounds reasonable.
-Mike