lowerer: implement pos distribution with outer partitioning

[rohany]

The lowerer currently doesn't handle a case where we do a position split, but some tensor dimensions are partitioned by an outer variable as well, so the constructed projection needs to handle dimensions partitioned from the outside. This can been seen in #97 .