Expand lambda parameter to formal types.
Add LICENSE.