Describe types of the/2

We should probably annotate types on our own predicates to set a good
example for those using this module.
Reorganize pack file layout
Release v0.2.3