Would it be a good idea to apply "level-1" by default
```[A suchthat _:A in 1#(2#3)#4] % [1 2#3 4]```
But to allow a flag (like a lazy flag) ?
```[A suchthat _:A in deep 1#(2#3)#4] % [1 2 3 4]```