User:Vel!/pu/extended XSHEN

Extension 1
α>>X:0 = α

α>>X:(β+1) = (a>>X:β)>>X

(α>>X:β)[n] = α>>X:(β[n]) if β is a limit.

Extension 2
α>0β = a>β

α>β+10 = α

α>β+1(γ+1) = (α>β+1γ)>>βX

WIP!