Yet more Package testing

These tests highlight a lot of hidden complexity. First candidates for
future refactoring: the Package bang methods.