* Fix `with-transaction` spec and how it invokes `transact` when no options map is provided. * Adds type hint to `with-transaction`. * Document manual rollback of transactions.