Finished operand compatibility testing for most expressions