Edoc and spec
in_transaction/1 (related to #7)