TypecheckPull Int and IntOp.
TypecheckPull if0.
TypecheckPull Pi. TypecheckPull should be finished now.