[idris] only font lock transform lambdas
[idris] Use global faces for idris repl faces