Exactly, they are not a flavoring at all. The primary flavorings in "premium" full flavor cigarettes are cocoa and anise. They add menthol to that to get menthol smokes. They do not remove the cocoa/anise and add peppermint, etc.
The menthol adds aroma, cooling sensations, and "throat hit"...