Yes, the signature of the UART constructor used in the Arduino core for the Nano33BLE is unlike everything else Serial related in the Arduino code base.
As you noted, the typical serial/software serial constructor is indeed RX,TX, but for the Nano33 BLE, the order of the pin parameters in the UART constructor is TX, RX.