Giovanni Mascellani : tests: Test how matrix types interact with semantics.