Document traits and Default about format! better

Closes #9865
Closes #9808
auto merge of #9938 : alexcrichton/rust/fmtdox, r=huonw

Closes #9865
Closes #9808