Adding additional contracts for PackageExtensions.