Definition protocol implementation for lambda words