ObjC FFI: import public Objective-C headers for imported modules