Improve specification conformance of clos::congruent-lambda-p and rename it to clos::congruent-lambda-lists-p.