ModuleName and Ident are now distinct types