Here’s the link that I think Lane is referring to:
http://commoncoretools.me/forums/topic/absolute-value-equations/#post-1799
But I noticed that this is mostly about absolute value equations, not inequalities. I would also point out
7.NS.1.c. … Show that the distance between two rational numbers on the number line is the absolute value of their difference, and apply this principle in real-world contexts.
It seems to me that this is the key understanding, and could be applied in many contexts, including inequalities. I’m not sure that breaking this down into discrete activities such as solving absolute value inequalities is helpful.
As for compound inequalities, I see that as a notational device which is within the scope of the standards but which does not rise to the level of an explicit mention (but maybe I am misunderstanding the question here).