Finalize the library

Waiting on https://github.com/hoaproject/Ruler/pull/23.