KLambda to python translator