Create better compile interface on make_offset_sequence to understand what types it accepts #3
Description
There is an open item to create a better implementation on make_offset_sequence so that the interface is clearer and also so that it can handle more situations.
Consider for example types for which there is no multiplication (right now this would not compile), or for which we want to create a sequence of complex types incrementing only the real part (so in this case the addition logic needs to be more flexible as well).
Basically fully flesh out what this method supports and make it as flexible as possible.