CIP-72: Aligning quoting and solving behavior of solvers

CIP has passed and voting is closed!