Add documentation for transactions.
Add documentation for current supported dsl.
Rename transaction functions to atomic functions.
Minor fixes on tests.