To whom might have the same question, I followed Mr. Mohan’s instructions and used the native WP add_role method:

https://developer.wordpress.org/reference/classes/wp_user/add_role/