I am also looking for a wide angle option for my Nauticam EM5 setup.
Have you been able to try the Samyang 7.5mm with NA-EM5 ? If so, can you tell us how it performed ? If you could use the zoom mehanism to control focus ? Which port have you used ? etc.