The `@recordName` annotation is unsued

[987Nabil]

There is an annotation recordName that is currently unused. We should either use it or remove it.

/**
 * Annotation for specifying an alternate name for a record.
 *
 * @param name The alternate name to use for the record.
 */
final case class recordName(name: String) extends StaticAnnotation