[ocaml] fix bugs on get_link function
[ocaml] implement second pass to resolve TLazy
[ocaml] forward type resolution for link & data references (not complete)
[ocaml] extract TForward of an object
[test] fix ocaml test cases
[test] add tforward test cases
[ocaml] implement forward type inference (complete)