TypecheckPush IntOp.

Also a question about IfZero. I'm totally confused about dependent types it seems...