Residence permits with an ID function can't normally be used by foreign nationals as travel documents anyway. I believe that's normal practice but I stand to be corrected.
For what it's worth, the Irish government recently introduced (voluntary) passport cards for all Irish passport holders, which will be available as from next month. Unfortunately, at €35 for five years only, they're a bit of a bloody rip-off (the Irish government obviously needs the money; in my view they should be available for ten years) but they still might be useful.
Rightly or wrongly, they will not contain the holder's address. Interestingly, biometric photos will not be required - a normal photo will do. These cards are available to holders of Irish passports only, so are not a national ID card as such. Arguably they might be compared to the US passport card but with a wider travel function.