Allow named types for binary operation instructions.

This weakens the type check in BinOp.__init__. This shouldn't create problems, since the front end still requires ensureIntType().