remove the lie that "binding code is only interested in names - not types"; it might have been true once, but not for a long time