removed unnecessary partial function
added mli for lib
removed unneeded reference to syntax module in mli
added doc explaining when an exception is thrown