[idris] fix font-locking for lambdas
[idris] improve M-RET command
[idris] improve smart ops