Goodbye delete_lambda()

Using the same technique than the one used with WeakReferences (sword of), we got rid of delete_lambda. Now, lambda function using is more direct.