binary infix operator creates a relation object representing the constraint that the left hand side:
- is the Type, or a super class of the Type, of the right hand side
- has an implicit constructor using the right hand side as the sole parameter, or
- has an explicit or implicit cast operator, or
- can promote the right hand side value
print(Real casts Int32); //prints "true"