Move the Lambda/Pi kind distinguisher into the Lambda product
Use prisms instead of manual getters
Rename lambdaBody -> lambdaResult