class Rouge::Lexers::Lean