Added a lot of contracts, mostly for setter or constructor functions.