dyadic transpose and vector-from (indexing with a vector a along the first dimension of arbitrary w).
fix indexing in dotop.