Type-check the `package/1` directive argument