added reduction rule for MatrixLiteral