Should we add more safeguards inside `StructuredMatrix`?

[f-dangel]

For example:

• Making sure two structured matrices are of same type before adding/matrix-multiplying/...
• Making sure two structured matrices are of same dimension before adding/matrix-multiplying/...