I tell DS that while he doesn't have to be friends with everyone he should be polite to everyone wrt hello/goodbye/please/thank you etc.
He doesn't always get it though.

Our school has traffic lights too.
That is what I said to Jacob. Still be polite but he doesn't have to play with everyone if he doesn't want to