added some examples, added alternative abella.ml for Ocaml 3.12 users