Added `Vector type, module signature moved to a .mli file.
Some function signatures are still missing (e.g. floating point op).
/!\ this commit do not compile. `lltype` function does not type check /!\