I'd like a nice looking lambda in Agda. How about allowing U+22CB as lambda? Likewise, I'd like something nicer than -> for the function arrow, how about U+2192? -- Lennart