PackageMap: better Monoid for packages
semigroups upper bound removed