Rearranged InnerConstraint implicits to put the most general ones
in the lowest priority traits.