Type Construction Contracts