La libreria che citi dovrebbe essere la PWM Frequency library.
Però non so se è compatibile con l'Atmega32U4 della Leonardo.
Altrimenti, posso darti una mano a modificare il codice. Gestire il PWM è relativamente facile, più difficile è modificare la frequenza perché c'è da tener conto del fatto che il timer funziona con un prescaler, che dà dei valori minimi e massimi di frequenza in base ad esso. Se si esce da questi limiti, tocca riconfigurare il timer, e questo porta al blocco della generazione del segnale PWM per qualche istante. Su che ordine di frequenze ragioniamo?