First few examples working.

No need for @as(unboxed) anymore.

Move type defs around.

Unify type definitions for untagged.

Add handling of float.

Add partial treatment of unknown. wip

Clean up names of types.

Rename: literal

More renaming.

rename: Block

Handle unknown case.

Add Object.

Add typeof to body of switch.

Complete classification of blocks.

Check that the type def is in one of the forms allowed.

Fix well-formedness test

no other blocks when there's an unknown

rename

More renaming.

Add specific function compile_untagged_cases

Add support for array types.

Simplify well-formedness check.

Add Json example.

And add built-in knowledge that Js.Dict.t is an object.

Fix instanceof array.

flip

Fix compilation of unknown.

Add untagged variant support to genType.

Explore (un)marshaling binary data from the compiler

dune build marshal_test.bc.js

node ./_build/default/marshal_test.bc.js

Explore (un)marshaling binary data from the compiler

Expose caml_read_file_content

Build up the example to counting elements in a list

```
ocaml gen_aaa.ml
node jscomp/test/marshal_test.js
```

Author: cristianoc

aaa.marshal

@@ -0,0 +1,16 @@
+let foo v =
+  let s = Marshal.to_string v [Compat_32] in
+  let ch = open_out_bin "aaa.marshal" in
+  let () = output_string ch s in
+  close_out ch
+
+type r = {x: int; s: string}
+type v = A | B | C of (int * int) | D of int * int;;
+
+(* foo "abc";; *)
+(* foo {x = 3; s = "abc"};; *)
+(* foo A;; *)
+(* foo B;; *)
+(* foo (C (1, 2));; *)
+(* foo (D (1, 2));; *)
+foo [1;2;3;4;5]