Stan: A Probabilistic Programming Language | Synapse