User blog comment:Undeadlift/Factorial Recursion System/@comment-99.185.0.100-20150621211756

I have an idea on how you could make the last extension more powerful:

n#ιa = n#n#...#n#n with a n's

n#ιma = n#ιm-1ιm-1...ιm-1ιm-1n with nιm-1a ιm-1's