Print unfoldings on lambda-bound variables