You found two of the exceptions where a package's name doesn't match
the main module name in the package. I wish we'd automatically wrap
packages in a module of the same name. That would enforce this
convention and make each package only have one main module. Without
that there can be naming collisions between packages.
There are some naming issues with packages, modules, and types. The
reason that OptionsMod is not named Options is that OptionsMod has a
main type called Options. There was a thread on this mailing list
entitled "naming things" where this was discussed more (with nothing
really resolved).
> --
>
>
>