concat-free compilation of outer product, etc