* Moved types.ml to src/types.ml

* Added OASIS description

* Added Makefile