Ad-hoc Constraints for Generic Lambda Expressions

Learners will be able to constrain input parameters of generic lambdas using C++20 syntax.