pkg2/resolve: clean up sanity_check

also rename enforce_optimality->enforce_optimality! since it's mutating,
and change interface function arguments order.
pkg2/resolve: alias Vector{FieldValue}->Field
pkg2/resolve: small fix in sanity_check
pkg2/resolve: simplify messages constructor