Sounds like it uses APNS, rather than IMAP push. For the latter, you need a daemon listening, which you can't do on iOS. Plenty of Android apps have IMAP push, for example.
The article says "We’ve enabled Push IMAP" and their instructions tell you how to setup imap email account.
But yes, using APNS for notifications probably makes sense (bandwidth, less connections, battery, ...).