Clarify derivable traits + add list. Closes #49