expr: join check on_left, on_right before checking types