They don't fit in any of the categories that currently exist: guest star, co-star, etc. It's pretty rare for TV to credit extras, but it would be nice if this was another choice in the cast type list for when it happens and when they are credited.
This could open up the door for confusion with the Uncredited type. So maybe "Credited Extra" would be better.



