*-Free Semigroupoid Probability Theory