Currently, some of the exported methods/structs are not properly documented.

Ideally, the readme would contain slightly more information about the repository and how it's meant to be used. The SMT repo's readme is a good example. A runnable example test would also be useful.