Use Name for all names

Not sure whether this is quite complete, but these changes were sufficient for the topic/cbpv-on-names branch and pass tests. I also already consolidated them a bit. There are still some issues with the affected codebase (mainly the double inference mechanism), but that will happen after this PR is merged.