Document derived_traits

Closes #4.