add comment explaining encoding of input as lambda term