Add some more adjunction laws
Reorganize adjunctions

Prove some more laws about them, split them out into multiple files, and
use whiskering to reduce the size of the composition proofs.