Gmail does push on POP3 and IMAP now.

Don't think it can do contact syncing using SyncML though. Stuck with scraping I think.