ARC update.  It was easier to start fresh and redo ARC than to merge

Another ARC version on top of the latest commits.