Add the nmatrix spec to check nmatrix types