Preconditions in functions allowed

But not yet evaluated and checked.

	modified:   ocaml/ast.ml
Adapted the README file with installation instructions

	modified:   README.md