docs: Add some explanation of SDAG constructs