[examples/lambda] Establish new type of λ-terms, with constants

[examples/lambda] Establish new type of λ-terms, with constants #283