This library is semantically equivalent to the lambda library implemented by Ulrich Neumerkel, but it performs static expansion of the expressions to improve performance.