That's awesome you have a teen who is getting into this so early. I had to do all my diet searching on my own and was simply fortunate to be so interested in this stuff at a relatively early age.
I think most mustards include in addition to what you listed vinegar.
Also an addition, tartar sauce and cocktail sauce!
It is awesome that he is figuriing out how diet and exercise make him feel and look. We have trained together for a few years, and he can seriously overpower me now. And he pigs out on raw foods like sashimi and carpaccio.
Tartar sauce is mayo with onions, lemon and either sweet or dill pickles added. Everyone can ferment their own pickles. Cocktail sauce is ketchup with chili sauce, hot mustard and lemon. Raw ketchup is going to take some time to figure.