made use of kron and norm for tensor products and normalization, also standardized representation labels and got rid of custom braket symbols