Add docstrings everywhere!

Document modules.

Constrain public API.

Improve memory safety & error checks.

Finish initial redraft

Write init/finalize & pattern language bindings, haskell-side!