Effects and Effect Handlers for Programmable Inference