I talked to @rok_cesnovar about this at the Math meeting and he cleared up some confusion I had about this.
The plan as-is seems good to me.
I’d still like to change how transformed parameters works so it’s not run twice. This seems like an extra unnecessary layer of confusion on top of the already-can-be-quite-confusing lp__.
There’s probably a way to do this that avoids much overhead.