Support incomplete types in typedefs.
Handle BREAK and CONTINUE in the OCaml part.