Describir: Theoretical Bounds and Systems Development for Exact/Approximate Multiplicities in Bag PDBs