Is it worth making this function deprecated? It's small enough that we really should just be doing prog.teachers.add(user) instead of calling the function. Same for removeTeacher below.