Add record type `Record.t`