Name duplication exception with KAR files
The new kar system throws a name duplication exception when two kars
implemented by (perhaps completely) different actors share the same name. We'd
like to have both actors, so we probably need some kar's naming conventions.