[+] Diagonal constructor for matrices
[+] Transposed mul functions
[~] cleanup
[+] New functions and verification of the runtime