Definition protocol implementation for lambda words
