IDA Plugin: Fixed up the types of a number of operands