Inference-first 0.3.0: likelihoods as programs, optimizer mode, Pareto posterior, prior-owned encodings

Inference-first 0.3.0: likelihoods as programs, optimizer mode, Pareto posterior, prior-owned encodings #63