- change interface for solvable_trivial_installable. We now have