fix types for ->{row,col}-matrix

Add handling for (U t Array) types, and
add arity overlap checking.