Identities

More fundamentals
Added Instance of Show for Matrices

I do not recommend doing this in general. This will also be rewritten
later on to avoid having to overwrite the inbuilt shows…