Update manual: tidy up instances, say more about type families in instance decls