That's a shame about the supplier going out of business... I actually have that dome, bought it way back in 2018, but only used it a handful of times with a 7Artisans 7.5mm manual fisheye. The manual focus and fixed-aperture is more trouble than it's worth, and I'm not a big fan of the extremely wide fixed focal length either.
As Chris said, the Sony 16mm f/2.8 lens is not highly regarded for its optical qualities - it is the very first lens that Sony ever made for their new E-mount, alongside the 18-55mm kit zoom, launching with NEX-3 and NEX-5 cameras back in 2010.
Since you have a dome (I'm guessing either 6-inch or 8-inch), you can get a Sony 10-18mm f/4 lens - it won't be as wide as a fisheye, and it won't give you the exaggerated fisheye perspective, but it's still plenty wide. Here are some comparison shots in a pool, from the same viewpoint.
16-50mm @ 16mm through flat port; note the pincushion distortion:
16-50mm @ 16mm through 6-inch dome:
10-18mm @ 10mm through 6-inch dome:
7.5mm fisheye through 4-inch dome; note the corner vignetting:
Another option, with the same dome, is a Tokina 10-17mm fisheye in Canon EF-mount with a Metabones or Sigma MC-11 adapter. I have not used it myself, but the autofocus is said to work reasonably well on newer Sony cameras. The reason that your 16mm + VCL-ECF lens vignettes in the dome is that the built-in extension is too long for the very compact lens - the Tokina fisheye on the mount adapter is considerably longer, and fits this extension without vignetting. You'd have to make your own zoom gear though, or use it as a prime.
Wet wide lens with 16-50mm is certainly a possibility - in fact, I recently moved from 10-18mm + 8-inch dome to 16-50mm + Fantasea UWL-09F myself, and I'm quite happy with this combination. Note that the bundled flat port does not have threading required to attach wet lenses - you'll need the short threaded macro port ( https://seafrogs.com.hk/collections/flat-macro-ports-for-salted-line-housings/products/macro-port-for-a6xxx-salted-line ). There is an adapter for the bundled port that allows mounting of M67 lenses ( https://www.unterwasserkamera.at/shop/catalog/de/product_info.php?info=p8054_d-d-seafrogs-salted-line-sony-a6xxx-67mm-flip-adapter.html ) but it's expensive, and I don't believe it would work very well anyway - this port is built to accommodate the slightly longer 10-18mm lens, so when used with 16-50mm, there will be a gap between lens front element and port glass, and wet lenses need to be as close as possible to the camera lens front element for good performance.
You can get second-hand Fantasea/AOI UWL-09F/UWL-09PRO lenses at a significant discount, around $500 if you shop around. Another option is Weefine/Kraken WFL01/KRL-01; those are built for 24mm focal length lenses, and thus do not require zooming in to eliminate vignetting when used with Sony 16-50mm. Inon UWL-H100, AOI UWL-09 and Nauticam WWL-1 are built for 28mm lenses, , so you have to zoom to 19mm to avoid black corners. Nauticam WWL-C is built for 24mm, but it uses a proprietary bayonet mount, and their adapter for M67 does not fit SeaFrogs ports.
Sample reef shot with 10-18mm and dome:
Sample reef shot with 16-50mm ant UWL-09F: