Concrete BankAccount examples of type test and type conversions
Systematic use of v is C, (C)v, and v as C on bank account classes