TheFirearmBlog has an excellent article on the IWI Carmel rifle that was displayed at the LAAD expo in Rio recently.
It looks a lot like what you’d get if you crossed a Tavor with a Galil ACE, and it does look a whole lot like the ARX-100. Height over bore is a little bigger than I’d prefer, and it doesn’t seem to have ambi-ejection, but it appears to be a solid traditional-format carbine. I think it’ll sell well in the US if they can bring it in under $1000.
I’d hazard a guess it’s for export purposes, albeit I do think the IDF would do well to have a non-bullpup rifle available for cheap domestic manufacture in the event that they want to transition off the M16 for political purposes.