typing, roles/inheritance and multi dispatch together offer a very clean coding model that cuts through the usual if-then-else wool