I think you’re right. Leaded additive is an octane enhancer to prevent knocking but it’s also good for valve seats and whatnot. That’s the bit what makes it difficult to just switch to other octane enhancers as far as I know.
Most piston aircraft use avgas (usually leaded) though some use jet fuel (diesel powered). Larger propellers are usually powered by turbines burning jet fuel.