Perhaps it doesn't mean much when there's only one implementation of
Objective Caml. However, if a second implementation came along then I guess
it may only implement the core language without extensions (and still be
considered a valid "Objective Caml").