Implementation of (some of) OCaml in OCaml, capable of self-hosting. Also a test bed for further experimentation with type checkers.