Lua/ADTWithLambda: Add