Working on type-checking for BIN_OP...