Consider unifying `op` and `lib`

[neutropolis]

Does it make sense to place MapAlg and At in the same folder? What are the differences between the abstractions located in op and the ones located in lib to keep them separated?