add eig
show instance for LTI
add diag
note non-uniqueness of eigenvectors, and improve expm inference
add diagBlock