Add a DynamicIndex constant for signed quantities and use it to fix the conflict between Diagonal<S,-1> (the first sub diagonal) and a runtime super/sub diagonal which is now: Diagonal<S,DynamicIndex>