Bayesian Spiking Neurons I: Inference | Synapse