A question: can OCaml’s object system be used to implement a runtime similar to that of Objective-C (things like obj_msgsend)? Or does OCaml’s type system impose restrictions that prevent this level of dynamic operation?