• “the tradeoff of pushing the complexity into the representation or the traversal of an algorithm”
could you say more?

• without knowing aether I tried to look into i t a little bit.

On the basis of shallow understanding:
Aether variables are not standins for values but can also be standins for formulas.

Say you want to draw a red box on the screen.

The representation high complexity way of doing is it to have a function return a box and then giving it to a drawer (probably not goning to be valid aether)

a=goomba(10,0)

>>> rectangle, (7,-3), (13,3) | generated by goomba call values 10,0

draw(a,”red”)

The algorithm high way of doing it is to not have intermediate representations

b=goombabrush(10,0)

>>> point, x,y | generated by goombabrush call values 10,0

draw(b,”red”)

That ends up drawing the same picture.

Point is “simpler” in that it can stand in anywhere that a “semi-literal” like (13,3) can be, but it is “fuzzier” in that it has a lot of lazy evaluation happening when it actually gets used.