MyBEAF Extended Version

{} = 1
{a} = a
{#,1} = {#}
{a,b} = a^b
{a,b,c,...} = {{a,b-1,c,...},{a,b-1,c,...},c-1,...}
{a,b,1,...,1,c,#} = {{a,b-1,1,...,1,c,#},{a,b-1,1,...,1,c,#},{a,b-1,1,...,1,c,#},...,{a,b-1,1,...,1,c,#},c-1,#}
b&p = {p,p,...,p,p} [b p's]

{1,#(#)#} = 1
{b,1(#)#} = b
{b,p,m,#(#)#} = {b&p,{b,p-1,m,#(#)#},m-1,#(#)#}
{b,p,1,...,1,m,#(#)#} = {b&p,b&p,b&p,...,{b,p-1,1,...,1,m,#(#)#},m-1,#(#)#}

{b,p(1)2} = b&p
{b,p(1)n} = b'&n'p with b'&n'p = {b,b,...,b,b(1)n-1} [p b's]
{b,p(1)a,b,c,...} = {b&p,b&p,...,b&p,b&p(1)b&p,{b,p-1(1)a,b,c,...},c-1,...} [b&p b&p's in the first row]
{b,p(1)a,b,1,...,1,c,#} = {b&p,b&p,...,b&p,b&p(1)b&p,b&p,b&p,...,{b,p-1(1)a,b,1,...,1,c,#},c-1,#} [b&p b&p's in the first row]

To solve {b,p(1)a,b,c,...(1)k,l} you must solve {b,p(1)a,b,c,...} until you get {b,p(1)m,n(1)k,l}
Then, {b,p(1)m,n(1)...(1)k,l(1)x,y} = {b&p(1)b&p(1)...(1)b&p(1){b,p-1(1)m,n(1)...(1)k,l(1)x,y},y-1}

{b,p(2)2} = {b,b,...,b,b(1)b,b,...,b,b(1)...(1)b,b,...,b,b(1)b,b,...,b,b} [p (1)'s]
Other rules are same as for (1)

More generally: {b,p(n+1)2} = {b,b,...,b,b(n)b,b,...,b,b(n)...(n)b,b,...,b,b(n)b,b,...,b,b} [p (n)'s]

{b,p(n,1,#)k,l} = {b,p(n)k,l}
{b,p(n,m)k,l} = {b,b,...,b,b({b,p-1(n,m)k,l},m-1),b,b,...,b,b}
{#(n,m,k,...)#} = {#(n,{#(n,m-1,k,...)#},k-1,...)#}
{#(n,m,1,...,1,k,#)#} = {#({#(n,m-1,1,...,1,k,#)#},{#(n,m-1,1,...,1,k,#)#},{#(n,m-1,1,...,1,k,#)#},...,{#(n,m-1,1,...,1,k,#)#},k-1,#)#}

{b,p((n))k,l} = {b,p(n,n,...,n,n)k,l} [n n's]
{#((...))#} has the same other rules than {#(...)#}
Same for {#(((...)))#} (with {#(((n)))#} = {((n,n,...,n,n))} [n n's])

{#[n]#} = {#(((...(((n)))...)))#} [n ('s]
Same rules from here than {#(#)#}, i.e. {5,5[5,5,5,5]5,5}

Then, {#<n>#} = {#[[[...[[[n]]]...]]]#} [n ['s]
And so on...

X-structures:

X&n = {n,n(1)2}
X+1&n = {n,n(2)2}
X+2&n = {n,n(3)2}
X+3&n = {n,n(4)2}
X+k&n = {n,n(k+1)2}
2X&n = {n,n(n,n,...,n,n),2}
3X&n = {n,n((n,n,...,n,n)),2}
4X&n = {n,n(((n,n,...,n,n))),2}
mX&n = {n,n[m-1]2}
X^2&n = {n,n[n,n,...,n,n]2}
X^3&n = {n,n[[n,n,...,n,n]]2}
X^4&n = {n,n[[[n,n,...,n,n]]]2}
X^m&n = {n,n<m>n,n}
etc...

{n"1"2} = {n,n(n,n,...,n,n),2}
{n"2"2} = {n,n[n,n,...,n,n],2}
{n"3"2} = {n,n<n,n,...,n,n>,2}
etc.
X^X&n = X^^2&n = {n"n,n,...,n,n"2}
From here, define {#""n""#}, {#"""n"""#}, etc
You can continue as many times you want, until X^^X = X^^^2
Extension is straightforward, {#'n'#}, {#''n''#},...

NOTE: (b&p)&m isn't equal to b&(p&m) which isn't equal to b&p&m
The last one if defined the following way:
b&p&m = X^^^...^^^X&m with b&p arrows !!!
Let's take this as a base for the Y structure: Y&n = n&n&n
Then, b&p&m&n = Y^^^...^^^Y&m with b&p&m arrows
Continue with Z structure, etc...

Now let's define b$p = b&b&...&b&b [p times] -- insanely fast!!!
NOTE: b&p grows faster if you change "b", while b$p grows faster if you change "p"

{b,p/1} = {b,p} -- 1 is still the default element
{b,p/2} = b$p
{b,p/n} = {b$p,b$p/n-1}
{b,p/#/1} = {b,p/#}
{b,p/#/n} = {{...{{b,p/#/n-1},b$p/#/n-1}...},b$p/#/n-1} [b$p times]
{b,p/#/n,k} = {b,p/#/n/n/.../n/n} [k times]

{b,p,m,.../#} still start solving as linear arrays:
{3,3,3 / 2} = {{3,2,3 / 2},{3,2,3 / 2},2 / 2}
= {{3,3,2 / 2},{3,3,2 / 2},2 / 2}
= {{3,27 / 2},{3,27 / 2},2 / 2}
= A$A$A$...$A$A$A [A A's], with A=(3$27)$(3$27)&(3$27)&...&(3$27)&(3$27)&(3$27) [(3$27) times!!!]

b&&p = {b$p,b$p/b$p,b$p/.../b$p,b$p/b$p,b$p} [p times]
b$$p = b&&b&&b&&...&&b&&b&&b [p times]
{b,p//1} = b^p
{b,p//2} = b$$p
{b,p//n} = {b$$p,b$$p//n-1}
{b,p//#//1} = {b,p//#}
{b,p//#//n} = {{...{{b,p//#//n-1},b$$p//#//n-1}...},b$$p//#//n-1} [b$p times]
{b,p//#//n,k} = {b,p//#//n//n//...//n//n} [k times]

b&&...&&p = {b$$...$$p,b$$...$$p//...//b$$...$$p,b$$...$$p(//...//)...(//...//)b$$...$$p,b$$...$$p/b$$...$$p,b$$...$$p}
b$$...$$p = p&&...&&p&&...&&p(&&...&&)...(&&...&&)p(&&...&&)p(&&...&&)p
And so on - you can see the pattern

You can use dimensions, i.e. {b,p(1)/2} = {b,p//...//2} [p /'s]

{L,1}<b,p> = b$p
{L,n}<b,p> = b$$...$$p [{L,n-1}<b,p> $'s]

{L,b,1,...,1,1,c,#} = {L,b,b,...,b,{L,b-1,1,...,1,1,c,#},c-1,#} - simply
X-structures works: {L,X}<b,p> = {b,p(1)/2}
A-structures either (w/ A any struct. weaker than L)
L-structures: {L,L} = {L,2,2}, then {L,L,...,L,L} = {L,L,...,{L,L,...,L,1},1}

b@p = {L,L,...,L,L}<b,p> [b L's]
b@p@m = {L,L,...,L,L}<b@p,m> [b@p L's]
{L2,1}<b,p> = {b,p\2} = b@p
You can continue with {L2,100}, {L2,L2}, L2&100 (why not?), etc
Then b%p = {L2,L2,...,L2,L2}<b,p> [p L's], {L3}<b,p> = {b,p|2} = b%p
And L10, L100, LL1000, LLL...LLL [100^100 L's]...

If you don't precise what <b,p> is (only in the L-space), it is implicitly remplaced by <100,100>

Finally, {L~n,#} = {LLL...LLL,#} with n L's,
{L@n,#} = {L~{L~{...{L~n,#}...},#},#} with n L's
{L@@...@@n,#} [k @'s] = {L@@...@@{L@@...@@{...{L@@...@@n,#}...},#},#} with k-1 @'s each time, and n stages
{n?} = {L@@...@@n,n} with n @'s
{n??} = {{n?}?}, etc

Time for numbers =D

Triakulus = 3&3&3 is already unbelievably big!
Kungulus = 3&3&10 mwahaha...
Kungulusplex = 3&3&(3&3&10)
Quadrunculus = 4&4&4
Tridecatrix = 10&10&10
Humongulus = 100&100&100
Golapulus = 10&10&10&10
Golapulusplex = 100&100&100&100&100
Big Boowa = {3,3,3 / 2}
Great Big Boowa = {3,3,3,...,3,3,3 / 2} [Big Boowa 3's]
Grand Big Boowa = {3,3,3,...,3,3,3 / 3,3,3,...,3,3,3} [Big Boowa 3's each time!!!]
Gongulus = {10,10,10 // 100}
Wompogulus = {10,10,10 // Gongulus}
Guapamonga = {10,10,10 ////////// 100}
Guapamongaplex {Guapamonga,Guapamonga,Guapamonga ////////// Guapamonga}
The Big Hoss = {100,100 ///.../// 2} [100 /'s]
The Great Big Hoss = {100,100 ///.../// 2} [Big Hoss /'s]
The Grand Big Hoss = {100,100 ///.../// 2} [Great Big Hoss /'s]
Goshomity = {100,100,100 \\\...\\\ 100,100,100} [100 \'s]
Bukuwaha = {10,10,10 |||...||| 2} [100 |'s]
Big Bukuwaha = {L4,Bukuwaha,1,2}
Bongo Bukuwaha = {L100,Big Bukuwaha,1,2}
Quabinga Bukuwaha = {L(Bongo Bukuwaha),100,1,2}
Meameamealokkapoowa = {L~100,2,1,2}
Meameamealokkapoowa Oompa = {L@Meameamealokkapoowa,2,1,2}