Changing all lambdas to use comma separated style (e.g. '\x => \y =>' to...

... '\x,y =>')

aka I was playing a game called 'human idris code reformatter'. This came up in #1635