HadamardProduct infers element type
Assumptions - element types of slices/blocks
element types of trace and determinant
Merge pull request #2063 from mrocklin/matrix-fix-1

Type assumptions on matrices - extra classes