An LM decorator that enforces an Imp.Optimizer.Budget before transport.

Construct it with Imp.budgeted_lm/3; direct struct construction is public but the facade validates the common options more clearly.