Semi-symbolic inference for efficient streaming probabilistic programming