Գրեք սա: Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs