font-lock: pretty lambdas in python