adding lambda_to_tlambda to compilation