User blog comment:Eners49/New notation idea?/@comment-32697988-20180814162534/@comment-35532815-20180820021857

I did.

I still need to fix all the details and stuff, since by this new definition {4, 2} is not {{{{{4}}}}, 1}; it is with {4} curly brackets, as FoundrElls pointed out above. But overall it should work

Also, would it help if I did this for {a, 2 | b}?
 * {a, 2 | b} = the following:
 * Stage 1 = {a | b} = {a, a, a, ..., a, a}
 * Stage 2 = {{a | b} | b} = {a, a, a, ..., a, a} with Stage 1 a's
 * Stage 3 = {{{a | b} | b} | b} = {a, a, a, ..., a, a} with Stage 2 a's
 * {a, 2 | b} = Stage {a | b} instead of just stage a
 * And {a, 3 | b} = Stage {a, 2 | b}, etc.
 * And {a, 3 | b} = Stage {a, 2 | b}, etc.