start id-set docs
id-set: feedback from @takikawa
id-set: add (first order) contracts