I actually have Murali, Saqlain Mishtaq and Harbhajan Singh ahead of Lyon in terms of finger spinners.....why...because they weren't as predictable as Lyon is.
The counter argument is, Lyon has probably one of the best stock balls in history for an offspinner. He's taken this many wickets without any variations for a reason.
He gets massive amounts of natural variation from spin and bounce with his stock ball that many others have ever gotten.
None of those you listed are Australia spinners of the last 30 years, which was my initial point....
Anyway:
Murali 260 overs in Aus @ 75 w/ SR 131
Mushtaq 222 overs in Aus @ 33.6 w/ SR 60.64
Harbhajan 189 overs in Aus @ 73 w/ 123 SR
The only visiting spinner with 300+ test wickets to average under 40 in Australia is Herath (35) and Kumble (38)
As I said, Lyon has had to apply his craft in the hardest home conditions for a finger spinner and will end up in the top 7 all time test wicket takers, with perfectly respectable all-round bowling figures, which is fairly amazing.
During and Post Warne, the argument at the time was definately around whether a finger spinner could even be world class based in Australia and that Warne proved you really had to be a wrist spinner to be an absolute top line spinner in Aus. This was discussed a lot around Hauritz's time.
His record would have been phenomenal had he played the same amount of tests as those other finger spinners in Asia.