Another chord type missing in iRealPro is the diminished Major 7th : 1, b3, b5, 7.
Commonly used in Brazilian music, flamenco, jazz, fusion.
It's basically a dominant b9 chord, but with the root on the top and b9 at the bottom (b9, 3, 5, 1) without the 7th.