safe-tensor-0.2.1.0: Dependently typed tensor algebra