User blog:Bubby3/BEAF ordinals, my analysis

Linear array arrays
$ is a string of 1's (or can be empty)

@ is a string of any entries (also can be empty

Rules for funemental sequences:

If the last entry is 1, then remove it

the second entry is 1, {a,1,@}[n] = 1


 * 1) If the second entry can be expressed in the form of n+X for any X, then {a,b+X,c,@}[n] = {{a,b,c,@},X,c,@}[n]
 * 2) If the second entry is a limit that can't be expressed in the form n+X, then {a,b,@}[n] = {a,b[n],@}
 * 3) If the third entry is a limit, then {a,b,c,@}[n] = {a,b,c[n],@}
 * 4) If the third entry is a 1 and the first non-1 entry after the second entry is a limit, then {a,b,1,$,c,@}[n] = {a,b,1,$,c[n],@}.
 * 5) Otherwise, consult the rules for normal BEAF.