Added equality instance that sees if 2 SemiSimple algebras are isomorphic
Deal with canonical form where the simple or torus parts trivial
Add brackets so case statement can break apart pair. Correct torus rank so it takes a semisimple not a list.