Add typeCheckLambda