Abbott Elementary credits a writer named "Ava Coleman," but it's not a case of the hit ABC comedy adding a character's name to the team as a joke.