modernize typelevel-tensor.