Localization in OCaml backend + support for abstract types and value declarations.