Since label_name doesn't have a well defined meaning for `Simple` perhaps you can return string option. That would also allow to remove the `if label = Asttypes.Simple then` by `match label_name label with`.