Be more Bayesian

[jamesrobertlloyd]

Kernel over kernels + active learning / Bayesian optimisation
Priors on expressions
...