Practical Hilbert space approximate Bayesian Gaussian processes for probabilistic programming | Synapse