@kalman
I think anything any construction that has some state and a consensus mechanism is a layer. To be an L2 to you have to follow L1, to be an L3 you have to follow L2. A proof aggregator might or might not have a consensus mechanism, depending on this it will either be a layer or not.