The core Caml Light language