Fix fallout of removing default bounds

This is all purely fallout of getting the previous commit to compile.
doc: Update the tutorial about bounds for traits