Assembling Contracts as if They Were Software Libraries