Mark OCaml values as 'alloc', since references are boxed.

In practice, OCaml types can't be used as return types, so it doesn't
much matter whether they're marked as 'alloc'.
Tests for passing OCaml values directly to C.
Stub support for passing values directly to C.