Extend the `projections` type to allow convolutions

[lukstafi]

This means: adding indices and multiplying by a constant (stride).

[lukstafi]

But let's work through a vision transformer beforehand. Maybe we come up with something less crude than fixed-receptive-field convolutions.