Add first sample MatrixMul

Also refined the code, to make it self-contained.