Update the examples
Add some tests
Add .mli files