Mention of at-layer

[kizu]

Now that it is finally proposed, I feel I need to mention it in the article (need to also mention the :where as an alternative to the nested :not(), but that could wait)