Modelled Amounts and Transactions as types, for safety