safe-tensor-0.2.1.1: Dependently typed tensor algebra