add support for ocaml packs and aldor