Seemingly got composition working using a parameterized probability semiring