- IsTypeOp now adds type info to the code gen state