Well, in my own slow way, I finally got RichFaces to deploy -- hooray.
I used this article up to a point:
http://www.mastertheboss.com/en/web-interfaces/124-jboss-richfaces-tutorial.html
But also the advice here.
I started with a minimal JSF project.
Then I added in the web.xml setting described in the article.
Then I used the JBoss Tools/Add Custom Capabilities/RichFaces 3.3
At that point
richfaces-api
richfaces-ui
richfaces-impl
Were added to my Web App Libraries folder.
I did not add the MyFaces libraries. I believe that I read that JBoss bundles the MyFaces functionality in the server (?) and maybe that caused problems in the past.
So here I go with RichFaces!!