Moved all the InnerConstraint implicits into one file to make it easier
to rearrange them.