Adding contracts for some of PackageExtensions.