Move towards importing Write.Tx unqualified in BalanceSpec (#4160)

## Issue

ADP-3171

## Description

- To signal `Write`/`ledger` types being the preferred default option in
this module, import them unqualified.

## Comments

- Depends on #4159