A Compositional Atlas of Tractable Circuit Operations for Probabilistic Inference