Added exception types to Contract.Requires