Neatly named

Add explanatory polyvars to the `Engine` api.

Also reorder fields internally in engine.ml, to avoid the confusing swap at the end.