A library for expressing and executing transactions.