feature/transaction-semantic

The advantages of Dok transaction semantic are:

FP like, i.e. no side effects
imperative like when useful
logic programming like when needed, because it supports choice-like instructions