Improve somewhat readability of clos::congruent-lambda-p and its user (ie.: add-method).