ppx: can override field names with attributes too