Updated Python function names in lambda-defs.txt